]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9008 from peterrum/indent-message-hint
authorTimo Heister <timo.heister@gmail.com>
Wed, 6 Nov 2019 15:22:06 +0000 (10:22 -0500)
committerGitHub <noreply@github.com>
Wed, 6 Nov 2019 15:22:06 +0000 (10:22 -0500)
commitf5e21985aa45dfdd7063f20545b6ae9f7871f7ec
treef9fccd9edf780b7260d2b77783d5da2203f6a3de
parent336355932455105b3862920dfc452fca6b4b5fa3
parentc3728c0a0fca577fa473a9bb650f61e0ab6a5d9f
Merge pull request #9008 from peterrum/indent-message-hint

Add a hint to the indention script

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.