]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18593 from bangerth/rename
authorMarc Fehling <mafehling.git@gmail.com>
Mon, 30 Jun 2025 21:32:53 +0000 (23:32 +0200)
committerGitHub <noreply@github.com>
Mon, 30 Jun 2025 21:32:53 +0000 (23:32 +0200)
commitb39c3c1455f6b7cbf91b1e4084a45093809248fa
tree19edbd74ee87dfea04324d43aeb0ebfe0b3601ab
parent44616d2bd3255e9f16d84d03b65f88f7191c8bbb
parent27e82ce27335432465580ee2559b7443f89fed37
Merge pull request #18593 from bangerth/rename

Rename some files.

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.