]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3099 from drwells/update-cmake-readme
authorWolfgang Bangerth <bangerth@colostate.edu>
Sun, 11 Sep 2016 00:49:44 +0000 (02:49 +0200)
committerGitHub <noreply@github.com>
Sun, 11 Sep 2016 00:49:44 +0000 (02:49 +0200)
commit0b89bd208ba1063352564d4e4ba3f636db61b2c3
tree37cba5e10ff2a6f8bce6a676fb0e7d85f0a61951
parente79506bc6ec47d527dedfc3f99156a61473c4ca1
parent8aa3d736987b85d409fa8597351743e2c37e5e39
Merge pull request #3099 from drwells/update-cmake-readme

Remove Make.global_options from a content list.

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.