]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix a typo. 13742/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Mon, 16 May 2022 16:27:48 +0000 (10:27 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Mon, 16 May 2022 16:27:48 +0000 (10:27 -0600)
contrib/utilities/indent_common.sh

index a171d9a7fe68154a020a3c242ed3243aaa255c33..256983a7a9979552601c8ffa7d67fdaa31e9b757 100644 (file)
@@ -144,7 +144,7 @@ fix_or_report()
 export -f fix_or_report
 
 #
-# In order to format .cc and .h files we have to make sure that we override
+# In order to format .cc and .h files we have to make sure that we overwrite
 # the source/header file only if the actual contents changed.
 # Unfortunately, clang-format isn't exactly helpful there. Thus, use a
 # temporary file and diff as a workaround.

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.