From: Martin Kronbichler Date: Sat, 19 Oct 2024 06:21:17 +0000 (+0200) Subject: Merge pull request #17791 from bangerth/exceptions X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=24e101f4a1db7ede325064525a80ada7dd7086ff;p=dealii.git Merge pull request #17791 from bangerth/exceptions Improve the error messages one gets when an external dependency is not found. --- 24e101f4a1db7ede325064525a80ada7dd7086ff