]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8f9d96) | patch
better @ref handling
authorTimo Heister <timo.heister@gmail.com>
Fri, 26 Dec 2014 10:27:59 +0000 (05:27 -0500)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Sun, 28 Dec 2014 10:24:17 +0000 (11:24 +0100)
commit3c2b85fd1e9fdb6070e46745ebcd9c12c79b59c6
tree2fe59f614bb4e43a7f64db91dde1ae5f504b6390tree | snapshot
parentd8f9d964db59e09582bc076c35919db20925dbaecommit | diff
better @ref handling

Correctly handle @ref in the wrapcomments.py script. We need to keep the
description in quotes in one line and move everything else to the next line
except immediate punctuation.
contrib/utilities/wrapcomments.py diff | blob | history
Mirror of the development repository for deal.II

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.