]> https://gitweb.dealii.org/ - dealii.git/commit
CI: check file encoding 9711/head
authorTimo Heister <timo.heister@gmail.com>
Sun, 22 Mar 2020 14:38:31 +0000 (10:38 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sun, 22 Mar 2020 14:38:31 +0000 (10:38 -0400)
commitd97b8b365ef3e02213f3be80cab37ce1249b8f49
tree3cc5a4603646233a303b96cf3e4cc8e857e1a0d2
parent4e5f6cc2ec73c04fca91a24e2c509f884fcbc828
CI: check file encoding

closes #8076
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.