Aneesh Agrawal fcee1d0b28 Remove redundant -DCMAKE_BUILD_TYPE=Release flags ... Since commit 183d05a0 in 2012, this is the default. fixes #18000		2016-10-01 16:13:41 +02:00
..
default.nix	Remove redundant -DCMAKE_BUILD_TYPE=Release flags	2016-10-01 16:13:41 +02:00
git.nix	Remove redundant -DCMAKE_BUILD_TYPE=Release flags	2016-10-01 16:13:41 +02:00