]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18100 from bangerth/empty-2
authorDavid Wells <drwells@email.unc.edu>
Fri, 7 Feb 2025 22:17:28 +0000 (17:17 -0500)
committerGitHub <noreply@github.com>
Fri, 7 Feb 2025 22:17:28 +0000 (17:17 -0500)
commitae2745de1b7d7c7c9268e5eccf01a8d1ad461a29
tree1018c6a778b0c1198c68abdccaeb172eb20460bd
parent4be74ace70068fa7c66d6d6cfd0852d198fb3eb9
parent27ef89838062056e17c659332d53d3212205a027
Merge pull request #18100 from bangerth/empty-2

Remove an unnecessary include path.

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.