]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7947 from luca-heltai/fix-spelling
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Tue, 23 Apr 2019 19:21:25 +0000 (15:21 -0400)
committerGitHub <noreply@github.com>
Tue, 23 Apr 2019 19:21:25 +0000 (15:21 -0400)
commit8636d61e8558b086039946af6f313a405ac06d14
tree161e59ee1d11674083c6c6164e77ccacd7b79d22
parentf645b16519e0c72861653d26c108e577ba0d15f5
parent92003f37ac757ffbb8ebb002519975fe6cb08428
Merge pull request #7947 from luca-heltai/fix-spelling

Fix documentation of extend + spelling.

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.