]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17153 from bangerth/references
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 21 Jun 2024 14:24:34 +0000 (16:24 +0200)
committerGitHub <noreply@github.com>
Fri, 21 Jun 2024 14:24:34 +0000 (16:24 +0200)
commitdd5762514851b675295b09f8302daca37b311a7c
tree703a0dcea238ae0acee234fad1f8cad4821268c0
parent421e3bc79abe94722753655c09dd4023c2607f0f
parent7075cc6334fd08c2f258cf71b5cbf572836049f6
Merge pull request #17153 from bangerth/references

Capitalize proper names in references.

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.