]> https://gitweb.dealii.org/ - dealii.git/commit
set agent 7697/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 5 Feb 2019 23:08:43 +0000 (16:08 -0700)
committerTimo Heister <timo.heister@gmail.com>
Tue, 5 Feb 2019 23:08:43 +0000 (16:08 -0700)
commita1e4ce9bbe4a92b71b09add8df2efd75626c44ed
treeb351b4bc54e7199aca06f47ed6d5f737283a45f9
parentf809d49183e94d267d5ec0a71ffd6c4ff328adfb
set agent
contrib/ci/Jenkinsfile.mark

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.