]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16612 from tjhei/strip-comments-build-dir
authorMatthias Maier <tamiko@43-1.org>
Fri, 9 Feb 2024 17:48:18 +0000 (17:48 +0000)
committerGitHub <noreply@github.com>
Fri, 9 Feb 2024 17:48:18 +0000 (17:48 +0000)
commit76b62594319f20cdcb84791ca063349486963ab1
treeb9e6040d48963fee2efb2da0bb174d9aae59be7d
parent49210b2102e9f44825280bf3406ac6c6c4512c60
parentc3674101e72e6f8cc3c0917e5f3113dafaad758b
Merge pull request #16612 from tjhei/strip-comments-build-dir

fix strip_comments target

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.