]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96a1a0d) | patch
checkdoxygen.py cleanup 9541/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 17 Feb 2020 18:59:14 +0000 (13:59 -0500)
committerTimo Heister <timo.heister@gmail.com>
Mon, 17 Feb 2020 18:59:14 +0000 (13:59 -0500)
commit9413dd57c2a1e8383547b0c371908bd57b9610fd
tree06da09972e5a3fb511151699a66bf983bcd06819tree | snapshot
parent96a1a0d74eac8bd1289c5a7d59e5534880ef6dddcommit | diff
checkdoxygen.py cleanup

- introduce filename as a variable
- print usage/error if not called with one argument
contrib/utilities/checkdoxygen.py diff | blob | history
Mirror of the development repository for deal.II

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.