]> https://gitweb.dealii.org/ - dealii.git/commitdiff
clarify wording 6673/head
authorMatthias Maier <tamiko@43-1.org>
Fri, 15 Jun 2018 13:24:30 +0000 (08:24 -0500)
committerMatthias Maier <tamiko@43-1.org>
Fri, 15 Jun 2018 13:24:30 +0000 (08:24 -0500)
contrib/utilities/indent-branch

index 91e156fab5a64586b436e021dd7271c168d03dd4..46f1412d580794739c3bb0e235b32d9a870c193a 100755 (executable)
 ## ---------------------------------------------------------------------
 
 #
-# This script does the same thing as contrib/utilities/indent but only reformats
-# files which have changed (or been added and not committed) since the last
-# merge commit to the master branch. It should be run as
+# This script does the same thing as contrib/utilities/indent but only
+# reformats files which have changed (or have been added but neither
+# staged/commited) since the last merge commit to the master branch. It
+# should be run as
 #
 #    make indent-branch
 #

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.