]> https://gitweb.dealii.org/ - dealii.git/commit
shell script: fix some shellcheck warnings 9615/head
authorTimo Heister <timo.heister@gmail.com>
Wed, 4 Mar 2020 15:50:54 +0000 (10:50 -0500)
committerTimo Heister <timo.heister@gmail.com>
Wed, 4 Mar 2020 15:51:13 +0000 (10:51 -0500)
commit3fab0f612ae7e702076c51f0d97e2c958ddb8e24
tree46fb1764a14587e3f3d3a87d5533b46a681148ef
parent0da177511f970374259039332322d4b6ce4f2a79
shell script: fix some shellcheck warnings
contrib/utilities/check_doxygen.sh
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.