]> https://gitweb.dealii.org/ - dealii.git/commit
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)
commit24e101f4a1db7ede325064525a80ada7dd7086ff
tree6561142dd6216d1e666aef772a046920186edbb6
parent0da1be6fd8130bb219b0cad1ef0559a007ded94b
parent3ea1933ff1da554075f4f4b9b6acf1fb737fb80b
Merge pull request #17791 from bangerth/exceptions

Improve the error messages one gets when an external dependency is not found.

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.