]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9983 from tjhei/rename_header_guards
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 29 Apr 2020 03:22:20 +0000 (23:22 -0400)
committerGitHub <noreply@github.com>
Wed, 29 Apr 2020 03:22:20 +0000 (23:22 -0400)
commitda3046812d8bf43944cc52d7f0aced0f13b4445e
treea5c19777a6abc913ef8b207dec95204dc04e640e
parent79cedd2f9a6d3637f98ea0444f634ec517f754b0
parent5450c380a203a5944684093e722d6fb82511df09
Merge pull request #9983 from tjhei/rename_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.