]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b1b740a)
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 patch | blob | history

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 4f86baa7d4d2f1d25fac57269fd62f4d865ab38a..df786bc42a187a59a02699b4804ecc18b8ad92c4 100644 (file)
--- a/contrib/utilities/indent_common.sh
+++ b/contrib/utilities/indent_common.sh
@@ -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.
 #
 
Mirror of the development repository for deal.II

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.