]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #1897 from bangerth/fix-comment
authorDenis Davydov <davydden@gmail.com>
Mon, 23 Nov 2015 13:28:24 +0000 (14:28 +0100)
committerDenis Davydov <davydden@gmail.com>
Mon, 23 Nov 2015 13:28:24 +0000 (14:28 +0100)
commit05564bb47e0d8327059f5b2f702a97944faff3d7
tree6faff872405aaf34890f53b2dcd46e8b418e8836
parent87df0c3e762818e5f83eac16f0a49c4664233051
parentd38f5a27942cfa4272a159467f40b16e2a25f03f
Merge pull request #1897 from bangerth/fix-comment

Fix a comment.

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.