]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11800 from marcfehling/double-negation
authorPeter Munch <peterrmuench@gmail.com>
Wed, 24 Feb 2021 11:05:03 +0000 (12:05 +0100)
committerGitHub <noreply@github.com>
Wed, 24 Feb 2021 11:05:03 +0000 (12:05 +0100)
commit27d617ae515c999590bb764d8ad97f74bae88915
tree408c440fe325f04e232a3e5967177926e51c1d76
parent28d69c58090d2bd38b32ae8688408fe330348f11
parent6452b802f767eeb9dcc17a220b701e12d211f512
Merge pull request #11800 from marcfehling/double-negation

Remove double negation from exception 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.