]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9612 from tjhei/fix_check_doxygen_script
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 4 Mar 2020 13:37:09 +0000 (08:37 -0500)
committerGitHub <noreply@github.com>
Wed, 4 Mar 2020 13:37:09 +0000 (08:37 -0500)
commit0da177511f970374259039332322d4b6ce4f2a79
tree9238a3a5756ba0279693743b5e61d325f79f8c2c
parente47f572be1a8b6c46db5ef33dcdc4e1c2f526ed1
parent9f19609502218af844cbf10b6f30588a63589201
Merge pull request #9612 from tjhei/fix_check_doxygen_script

CI: fix check_indentation.sh script

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.