]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3a28b76 08751f6)
Merge pull request #15651 from tamiko/be_more_craceful
authorMatthias Maier <tamiko@43-1.org>
Tue, 4 Jul 2023 22:23:48 +0000 (22:23 +0000)
committerGitHub <noreply@github.com>
Tue, 4 Jul 2023 22:23:48 +0000 (22:23 +0000)
Tests: if no numdiff executable is found fall back to running tests instead of dropping them


Trivial merge
Mirror of the development repository for deal.II

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.