]> https://gitweb.dealii.org/ - dealii.git/commit
Add a hint to the indention script 9008/head
authorPeter Munch <peterrmuench@gmail.com>
Wed, 6 Nov 2019 06:28:45 +0000 (07:28 +0100)
committerPeter Munch <peterrmuench@gmail.com>
Wed, 6 Nov 2019 14:36:32 +0000 (15:36 +0100)
commitc3728c0a0fca577fa473a9bb650f61e0ab6a5d9f
treef9fccd9edf780b7260d2b77783d5da2203f6a3de
parent336355932455105b3862920dfc452fca6b4b5fa3
Add a hint to the indention script
contrib/utilities/indent_common.sh

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.