]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18101 from bangerth/empty-3
authorDavid Wells <drwells@email.unc.edu>
Sun, 9 Feb 2025 04:17:02 +0000 (23:17 -0500)
committerGitHub <noreply@github.com>
Sun, 9 Feb 2025 04:17:02 +0000 (23:17 -0500)
commit2290e291396c5e905f9a80b0c0d53ce64f3bbe42
treed59cb1b6f7295c48deae315f2c889efbf46f2479
parent40dc1f37f437225224b2895f356f62889439d469
parentcdac55373a7da23ae6ee63232eb31ce3f42e77cb
Merge pull request #18101 from bangerth/empty-3

Exclude more files from compiling if they are functionally empty.

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.