]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15139 from bangerth/glossary
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 26 Apr 2023 03:13:19 +0000 (21:13 -0600)
committerGitHub <noreply@github.com>
Wed, 26 Apr 2023 03:13:19 +0000 (21:13 -0600)
commitb4f1d161544a0d4e02372f6edbe8979ead33da2c
tree6a8ec0f9b9c9d06e1a435bae7bc95cb31c7e85da
parent4ec36db9eed1e46fb96b5787af7e80d9ab45b180
parent503525662c3a7ca876bdc3471cd8fcdad355d206
Merge pull request #15139 from bangerth/glossary

Add necessary include files to a code snippet in the glossary.

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.