]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Align colons. 6525/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 8 May 2018 09:22:53 +0000 (17:22 +0800)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 8 May 2018 10:45:42 +0000 (18:45 +0800)
contrib/utilities/query_testsuite

index 19fca28566d840089847769f5cba9343dbf3bfd6..ecfe2d2ce4986c07b3935020c798856da156f47f 100755 (executable)
@@ -30,7 +30,7 @@ print_help() {
   echo "compatible with markdown"
   echo ""
   echo "Options:"
-  echo "  -r (--regex)  : only show results for hosts/commits matching the specified regex"
+  echo "  -r (--regex)   : only show results for hosts/commits matching the specified regex"
   echo "  -l (--links)   : include hyperlinks"
   echo "  -h (--help)    : print this help message"
 }

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.