]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ef21c6a d3d5ab4)
Merge pull request #7343 from bangerth/doc-update-1
authorJean-Paul Pelteret <jppelteret@gmail.com>
Fri, 12 Oct 2018 19:42:06 +0000 (21:42 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Oct 2018 19:42:06 +0000 (21:42 +0200)
Use the infinitive form of verbs in the first sentence of doc strings.


Trivial merge
Mirror of the development repository for deal.II

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.