]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3143 from bangerth/wrap-comments
authorMatthias Maier <tamiko@43-1.org>
Wed, 21 Sep 2016 01:46:45 +0000 (20:46 -0500)
committerGitHub <noreply@github.com>
Wed, 21 Sep 2016 01:46:45 +0000 (20:46 -0500)
commit6121f0b6c40d61635ab075935ba261c8c7fd628a
tree9426976d68dbfd33d29f759f96132c1211c63fb4
parent3d11479609944fc517bb59c0467f9cce652df950
parentd9b93e171d4792d0c97935512f6719ae3acd9043
Merge pull request #3143 from bangerth/wrap-comments

Wrap some comments.

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.