]> https://gitweb.dealii.org/ - dealii.git/commit
wrapcomments paren handling 395/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 31 Dec 2014 14:03:56 +0000 (09:03 -0500)
committerTimo Heister <timo.heister@gmail.com>
Wed, 31 Dec 2014 14:03:56 +0000 (09:03 -0500)
commit25de3f5dce184510531d6f69c6dfce827ff3e677
tree0fd5625e795de38f052c363d38580ecee84f88a1
parent824b02deb4cfc196a1a0baf235bfb5bf29401adc
wrapcomments paren handling

Correctly handle an opening parenthesis directly in front of @ref and
fix the one place we use it.
contrib/utilities/wrapcomments.py
include/deal.II/grid/grid_generator.h

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.