]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18079 from bangerth/normalize
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 4 Feb 2025 16:11:13 +0000 (17:11 +0100)
committerGitHub <noreply@github.com>
Tue, 4 Feb 2025 16:11:13 +0000 (17:11 +0100)
commitb986e5b0dae0c7d55fd739831412bbb457f36068
treefa539931b1a9b29e65b7544d3c361bf401654f08
parentb9ff8324c84d35896fe9a3cf2591a78d54427c47
parentd8bbd01734108fe4c85fbfe73afbffb38a1e55de
Merge pull request #18079 from bangerth/normalize

Normalize the way we write header includes.

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.