]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18089 from bangerth/empty
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 7 Feb 2025 13:04:42 +0000 (08:04 -0500)
committerGitHub <noreply@github.com>
Fri, 7 Feb 2025 13:04:42 +0000 (08:04 -0500)
commit108be0c5b528d740f86a90ed0d116542be019ec9
treedc4e8fd106c60883c6b66467f0e39dcc0fcb4c6d
parent486eec3ad177002827dd8902aead18b1996c2560
parent3fa68d4edcf8819ca09d8ab4e8c123362ea54948
Merge pull request #18089 from bangerth/empty

Exclude 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.