]> https://gitweb.dealii.org/ - dealii.git/commit
Fix indent-all header typo 13431/head
authorFabian Castelli <fabian.castelli@kit.edu>
Mon, 21 Feb 2022 18:45:01 +0000 (19:45 +0100)
committerFabian Castelli <fabian.castelli@kit.edu>
Mon, 21 Feb 2022 18:45:01 +0000 (19:45 +0100)
commit7fe004b2d136143dce9cf68b2e6346b75724838d
tree1959c1db2f6d4ea94cb1e73cfe123edc8e696bc7
parentd6b4a82ae7e4b74b18c21edf73337911378c2140
Fix indent-all header typo
contrib/utilities/indent-all

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.