]>
author | Timo Heister <timo.heister@gmail.com> | |
Mon, 17 Feb 2020 19:15:34 +0000 (14:15 -0500) | ||
committer | Timo Heister <timo.heister@gmail.com> | |
Sat, 29 Feb 2020 15:51:02 +0000 (10:51 -0500) |
Jenkinsfile | patch | blob | history | |
contrib/utilities/check_doxygen.sh | [new file with mode: 0755] | patch | blob |
contrib/utilities/check_indentation.sh | patch | blob | history |
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