]> https://gitweb.dealii.org/ - dealii.git/commit
Upgrade checkdoxygen.py to check for multiple-defined headers 9505/head
authorgrahambenharper <grahambenharper@gmail.com>
Mon, 10 Feb 2020 17:09:29 +0000 (10:09 -0700)
committergrahambenharper <grahambenharper@gmail.com>
Mon, 17 Feb 2020 16:47:56 +0000 (09:47 -0700)
commitf87fe34d71dcb34a63a5cc7824e3a65c8b77112f
tree03ef628e34c5b3dfbe60bd7b9535cc695ecd0f8c
parent1f52bf7d6aa81eaefe0d319a773b2038aab3da10
Upgrade checkdoxygen.py to check for multiple-defined headers
contrib/utilities/checkdoxygen.py

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.