]> https://gitweb.dealii.org/ - dealii.git/commit
delete old Jenkins setup
authorTimo Heister <timo.heister@gmail.com>
Tue, 3 Jan 2023 18:55:35 +0000 (13:55 -0500)
committerTimo Heister <timo.heister@gmail.com>
Tue, 3 Jan 2023 18:57:56 +0000 (13:57 -0500)
commitcc6929e62105b42bf82f1715af9f95fe4d26d903
treedc7d796e027e1a167bb4bf09664976f6ced80988
parent3e3572c5c7cb2dc938a9740a7b14a0f4761e316b
delete old Jenkins setup
Jenkinsfile [deleted file]

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.