]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17933 from bangerth/insert
authorMatthias Maier <tamiko@43-1.org>
Wed, 18 Dec 2024 19:18:19 +0000 (19:18 +0000)
committerGitHub <noreply@github.com>
Wed, 18 Dec 2024 19:18:19 +0000 (19:18 +0000)
commitc39e5c3700f8fba9e89ecba5163e83667ef572da
tree24f0e25cbb3adc7b8a31e6709d94b7820ec0c28b
parent79ab805df9a85cd111eeef6dbd7ffacd6c2e9382
parent1e415f6ef3de9e77d56c72ba229a0feefe73ad5a
Merge pull request #17933 from bangerth/insert

Just include a file directly.

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.