]> https://gitweb.dealii.org/ - dealii.git/commitdiff
fixup
authorMatthias Maier <tamiko@43-1.org>
Wed, 20 Jun 2018 22:04:33 +0000 (17:04 -0500)
committerMatthias Maier <tamiko@43-1.org>
Wed, 20 Jun 2018 22:04:33 +0000 (17:04 -0500)
contrib/utilities/indent_common.sh

index 4f86baa7d4d2f1d25fac57269fd62f4d865ab38a..df786bc42a187a59a02699b4804ecc18b8ad92c4 100644 (file)
@@ -20,7 +20,7 @@
 
 #
 # This function checks that we are in the root directory and that
-# clang-format is available. It is called by both indent and indent-branch
+# clang-format is available. It is called by both indent and indent-all
 # to ensure that the rest of the indentation pipeline makes sense.
 #
 

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.