From: Matthias Maier Date: Wed, 20 Jun 2018 22:04:33 +0000 (-0500) Subject: fixup X-Git-Tag: v9.1.0-rc1~1007^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1135b7da9a470b53dc754831bf0f348b3ba804b1;p=dealii.git fixup --- diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh index 4f86baa7d4..df786bc42a 100644 --- 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. #