]> https://gitweb.dealii.org/ - candi.git/commit
Merge pull request #229 from bangerth/error
authorTimo Heister <timo.heister@gmail.com>
Thu, 1 Jul 2021 22:10:51 +0000 (18:10 -0400)
committerGitHub <noreply@github.com>
Thu, 1 Jul 2021 22:10:51 +0000 (18:10 -0400)
commitaea79c956bb8d5a599068a9ec1a913ea93b01018
tree701497f40d9445317969528b68a47934baf1576e
parent466d7111848e7198a6c0c1e3f125e442ce50d9ca
parent9a214fb3b6d784a1b07ded0618cb1dcfa922c470
Merge pull request #229 from bangerth/error

Say what option it is that isn't recognized.

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.