]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1503 from tjhei/simplify_indent_script
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 1 Sep 2015 14:44:07 +0000 (16:44 +0200)
committerMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Tue, 1 Sep 2015 14:44:07 +0000 (16:44 +0200)
commitde4258e8ad8dffda0bf69c875fdbed71138bd755
treeab3700e58c0ec9b771cd765164fe6141113ec03b
parent683d34cf34b0bed1f48dd9cc55b8e0b71d58ecbe
parentc54c38c5bf48ef06b7c0bc425299ad6b529e71bc
Merge pull request #1503 from tjhei/simplify_indent_script

simplify indent script

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.