]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7951 from bangerth/grammar
authorTimo Heister <timo.heister@gmail.com>
Tue, 23 Apr 2019 23:08:01 +0000 (17:08 -0600)
committerGitHub <noreply@github.com>
Tue, 23 Apr 2019 23:08:01 +0000 (17:08 -0600)
commit42921cb22b40165c2f922177c2120b0333b25e56
tree72f75100ad6b858c26da9de3100d45beaa341ae6
parenteee743b01e628d9d60ffc3d740bb126d2e8053bf
parent71c2a96eee865be6c4f8ccccd97ab284a6313842
Merge pull request #7951 from bangerth/grammar

Fix a grammar mistake in 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.