]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 821ac20 40c59ca)
Merge pull request #13772 from tamiko/doxygen_fixes
authorPeter Munch <peterrmuench@gmail.com>
Sat, 21 May 2022 16:36:16 +0000 (18:36 +0200)
committerGitHub <noreply@github.com>
Sat, 21 May 2022 16:36:16 +0000 (18:36 +0200)
Doxygen: Ensure that opening and closing glossary quotes are on the same line


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.