]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #2659 from bangerth/doc-update-66
authorTimo Heister <timo.heister@gmail.com>
Thu, 2 Jun 2016 13:55:11 +0000 (14:55 +0100)
committerTimo Heister <timo.heister@gmail.com>
Thu, 2 Jun 2016 13:55:11 +0000 (14:55 +0100)
commit00f2268b39ff555714f844f12f45b15df0681971
tree29079acdbbc257fae822aecfedc2e54cfd0407c6
parent538d771bfcdc266cd3f0bca2c7b2f9ae120add40
parent7d4855c97d24352520750c30e3e7847a28f61253
Merge pull request #2659 from bangerth/doc-update-66

Extend the 'filter' script to process multiple lines

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.