]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17239 from bangerth/prm
authorDavid Wells <drwells@email.unc.edu>
Wed, 10 Jul 2024 03:06:11 +0000 (23:06 -0400)
committerGitHub <noreply@github.com>
Wed, 10 Jul 2024 03:06:11 +0000 (23:06 -0400)
commit2a86673be94fa60dac2cea79aef61a62b3f8231b
treebead908441cc94c9166650c21bfb04e3a547e9aa
parent6a2c2074899ddee6168c52abe92ae8591db1684b
parent21ad9bcf936a3cb67ec38f09bb38cf8af7b8374e
Merge pull request #17239 from bangerth/prm

Provide a better error message.

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.