]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0da1be6 3ea1933)
Merge pull request #17791 from bangerth/exceptions
authorMartin Kronbichler <martin.kronbichler@rub.de>
Sat, 19 Oct 2024 06:21:17 +0000 (08:21 +0200)
committerGitHub <noreply@github.com>
Sat, 19 Oct 2024 06:21:17 +0000 (08:21 +0200)
Improve the error messages one gets when an external dependency is not found.


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.