diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2019-12-14 03:46:03 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2019-12-15 00:49:01 +0300 |
| commit | 86f069fe70a8ece2829953264ef372d0a661b454 (patch) | |
| tree | 1f7f07caf7d52fa1a5aa0aa17def5742be1fdfc1 /ci/.gitignore | |
| parent | fix PyLint warnings (diff) | |
| download | cmake-common-86f069fe70a8ece2829953264ef372d0a661b454.tar.gz cmake-common-86f069fe70a8ece2829953264ef372d0a661b454.zip | |
build: clean up silly cmd line params
They were just plain synonyms for CMake flags, barely had any value.
Diffstat (limited to 'ci/.gitignore')
0 files changed, 0 insertions, 0 deletions