]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #395 from tjhei/wrap_comments_improvements
authorMatthias Maier <tamiko@kyomu.43-1.org>
Wed, 31 Dec 2014 14:20:01 +0000 (15:20 +0100)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Wed, 31 Dec 2014 14:20:01 +0000 (15:20 +0100)
commit2b84f9e5153203eefc004477a7b9f1ccd09253f7
tree0fd5625e795de38f052c363d38580ecee84f88a1
parent824b02deb4cfc196a1a0baf235bfb5bf29401adc
parent25de3f5dce184510531d6f69c6dfce827ff3e677
Merge pull request #395 from tjhei/wrap_comments_improvements

wrapcomments paren handling

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.