]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #969 from tamiko/rename_two_more_header_guards
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 28 May 2015 15:13:21 +0000 (17:13 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Thu, 28 May 2015 15:13:21 +0000 (17:13 +0200)
commitf145ae1b60f2ee4e000f4be9cf32a299b00da8b1
treed88fbab213ceb2fd71bc5194fda7fa0459ebf1c9
parent29fcc91f8fc378eb73a3a7e755ef43c065c68c7f
parent8c46c504056663e2cdb1022254e03115c28b3cca
Merge pull request #969 from tamiko/rename_two_more_header_guards

Rename two more header guards

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.