]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17777 from bangerth/rename-file
authorMartin Kronbichler <martin.kronbichler@rub.de>
Tue, 15 Oct 2024 06:17:44 +0000 (08:17 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2024 06:17:44 +0000 (08:17 +0200)
commit79224d7cd1232fab154f0d55ea430e8b904b3be9
treec9256bfdab090c798b0c6ef895bb84fa231cef49
parentec5bc16adb02bc916fc5e3653b0b1f9872fe96c5
parentfb9f46eb6c05f3a4aec20b6f6c1ff40fdbd176c7
Merge pull request #17777 from bangerth/rename-file

Rename EnableObserverPointer 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.