]> https://gitweb.dealii.org/ - dealii.git/commitdiff
fix warpcomments.py
authorTimo Heister <timo.heister@gmail.com>
Thu, 25 Dec 2014 20:12:39 +0000 (15:12 -0500)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Fri, 26 Dec 2014 12:52:58 +0000 (13:52 +0100)
contrib/utilities/wrapcomments.py

index f1ead5458418999ba84d9f0d2509bc747c5949b3..0242664f105a30c3e89cb5a66e9b3996da88b0cf 100755 (executable)
@@ -119,7 +119,7 @@ def format_block(lines, infostr=""):
                 for it in ops_startline:
                     if it in thisline:
                         print ("%s warning %s not at start of line"%(infostr, it), file=sys.stderr)
-            if one_in(ops_startline, lines[idx]):
+            if one_in(ops_also_end_paragraph, lines[idx]):
                 out.append(lines[idx].rstrip())
             else:
                 curlines.append(lines[idx])

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.