]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove $ signs to indicate a prompt 6698/head
authorMatthias Maier <tamiko@43-1.org>
Sat, 16 Jun 2018 04:53:57 +0000 (23:53 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 16 Jun 2018 04:54:12 +0000 (23:54 -0500)
contrib/utilities/indent
contrib/utilities/indent-branch

index afa726ce428fc9ef1f2ae51bc9ed76f5b8d03929..6ca8b382063d44d2e40a3cef8857d0108893daeb 100755 (executable)
 # endings.
 #
 # The script needs to be executed as
-#   ./contrib/utilities/indent
+#   ./contrib/utilities/indent
 # from the top-level directory of the source tree, or via
-#   make indent
+#   make indent
 # from a build directory.
 #
 # Note: If the script is invoked with REPORT_ONLY=true set,
-#   REPORT_ONLY=true ./contrib/utilities/indent
+#   REPORT_ONLY=true ./contrib/utilities/indent
 # or,
-#   make REPORT_ONLY=true indent
+#   make REPORT_ONLY=true indent
 # then indentation errors will only be reported without any actual file
 # changes.
 #
index e2bed13546257ec3f223bbfc070d36f89d8c4568..f5a66bec4592fcaa5e347e27444bd8e199880654 100755 (executable)
 # staged/commited) since the last merge commit to the master branch.
 #
 # The script needs to be executed as
-#   ./contrib/utilities/indent-branch
+#   ./contrib/utilities/indent-branch
 # from the top-level directory of the source tree, or via
-#   make indent-branch
+#   make indent-branch
 # from a build directory.
 #
 # Note: If the script is invoked with REPORT_ONLY=true set,
-#   REPORT_ONLY=true ./contrib/utilities/indent-branch
+#   REPORT_ONLY=true ./contrib/utilities/indent-branch
 # or,
-#   make REPORT_ONLY=true indent-branch
+#   make REPORT_ONLY=true indent-branch
 # then indentation errors will only be reported without any actual file
 # changes.
 #

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.