]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2007 from tjhei/wrap_comments_lists
authorTimo Heister <timo.heister@gmail.com>
Tue, 22 Dec 2015 20:20:28 +0000 (15:20 -0500)
committerTimo Heister <timo.heister@gmail.com>
Tue, 22 Dec 2015 20:20:28 +0000 (15:20 -0500)
commit744120681b213118b4f41ba83b1eeac6d36061b1
tree44bf12d715e506805d104ef99ca2b5e056a18e15
parent621271e5b39d65fb4b828d8141071386f4976dda
parentb4deb311f24ad47034b4e8098f020dce9cea22e4
Merge pull request #2007 from tjhei/wrap_comments_lists

teach wrapcomments.py about nested lists

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.