]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18410 from bangerth/precise
authorMatthias Maier <tamiko@43-1.org>
Sun, 4 May 2025 02:02:14 +0000 (02:02 +0000)
committerGitHub <noreply@github.com>
Sun, 4 May 2025 02:02:14 +0000 (02:02 +0000)
commit8b194d9ddf1dc0a7645c4f8160f99679f6f16d92
treead06cdde94db5dd29c53d5efdc4f6fdb5af9466d
parentbb58be2d8f3ec64bcd99ce7ed5cbd826793d6dab
parent3bdaaa92598ca409d9109d986c6062e15b8a3096
Merge pull request #18410 from bangerth/precise

Be more precise with which files we compile.

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.