]> https://gitweb.dealii.org/ - dealii.git/commit
contrib/utilities: rename to indent and indent-all
authorMatthias Maier <tamiko@43-1.org>
Wed, 20 Jun 2018 22:02:34 +0000 (17:02 -0500)
committerMatthias Maier <tamiko@43-1.org>
Wed, 20 Jun 2018 22:02:34 +0000 (17:02 -0500)
commitff7a0b0223d4df553b6d6f730fbdbbf2488268fa
treeb8a840ee6e142e65ed6459dc9e819150b92d5085
parent5ea43527cd558bb0783808557eec954219b99d67
contrib/utilities: rename to indent and indent-all
contrib/utilities/indent
contrib/utilities/indent-all [moved from contrib/utilities/indent-branch with 61% similarity]

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.