]> https://gitweb.dealii.org/ - dealii.git/commit
cleanup and document check_indentation.sh 9614/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 4 Mar 2020 15:37:01 +0000 (10:37 -0500)
committerTimo Heister <timo.heister@gmail.com>
Wed, 4 Mar 2020 15:37:01 +0000 (10:37 -0500)
commit9de157fdc58a9d1956c75e42f8834bfbf08c062e
tree17a80aa316f1f63d70a3ec43b7d4d45a0641ba61
parent0da177511f970374259039332322d4b6ce4f2a79
cleanup and document check_indentation.sh
contrib/utilities/check_indentation.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.