]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8988 from bangerth/space
authorTimo Heister <timo.heister@gmail.com>
Sat, 2 Nov 2019 14:21:15 +0000 (10:21 -0400)
committerGitHub <noreply@github.com>
Sat, 2 Nov 2019 14:21:15 +0000 (10:21 -0400)
commit33f4f14b453d5cb367c9553342d350cccf98c973
tree6c25aad8c235e8eb597d0dff88e1c0734844885b
parent4e8da67fac2b990275c56190f19b7fd053324bbd
parenta8cfe9af9f27da747a214b675c658fa2cebdf402
Merge pull request #8988 from bangerth/space

Be consistent with spaces.

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.