]> https://gitweb.dealii.org/ - dealii.git/commit
CMake: remove legacy Make.global_options
authorMatthias Maier <tamiko@43-1.org>
Sat, 5 Mar 2016 09:02:56 +0000 (03:02 -0600)
committerMatthias Maier <tamiko@43-1.org>
Thu, 17 Mar 2016 19:35:44 +0000 (14:35 -0500)
commit359e60b351cc7b784cb1abe20f5c5cbf36a35340
tree023f460c34a7f0cf074dd0c538aa41d85537234d
parent20ebf1e714b7fa177b1368a3f49ae3b2d64b94e2
CMake: remove legacy Make.global_options
cmake/config/CMakeLists.txt
cmake/config/Make.global_options.in [deleted file]

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.