]> https://gitweb.dealii.org/ - dealii.git/commit
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)
commit3d6cee9d5200b6193d16545fe8a169ffa11a06b0
treeab5d4ed28db68a752557d0081dd1ece2a7cf2daf
parent3a28b7616b858d443fe54cbad3f97c152e397110
parent08751f67c8a7dab953132328870b116585c1bf10
Merge pull request #15651 from tamiko/be_more_craceful

Tests: if no numdiff executable is found fall back to running tests instead of dropping them

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.