diff options
author | Julian Andres Klode <jak@debian.org> | 2016-08-18 10:03:06 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-08-18 10:03:06 +0200 |
commit | fbfd22e796997934a54e7be4f4307ee54bf7c13b (patch) | |
tree | aa446e8435c5159283a17aa4007cd17a9e202423 /doc/examples/CMakeLists.txt | |
parent | d1fd09b982f6108dc32ec75330b0535236c48311 (diff) |
Do not force -O2, should be fixed in ~rc2
Diffstat (limited to 'doc/examples/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions