]> https://gitweb.dealii.org/ - dealii.git/commit
contrib: update auxiliary scripts
authorMatthias Maier <tamiko@43-1.org>
Wed, 20 Jun 2018 22:03:24 +0000 (17:03 -0500)
committerMatthias Maier <tamiko@43-1.org>
Wed, 20 Jun 2018 22:04:11 +0000 (17:04 -0500)
commitb1b740adadef6bdce9c9023072a7bdb3b1bad5c7
tree5158bb4f3ed669a3c6ddcf88ba7cbd210f64b5e4
parentff7a0b0223d4df553b6d6f730fbdbbf2488268fa
contrib: update auxiliary scripts
contrib/git-hooks/pre-commit
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.