]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7697 from tjhei/ci_jenkins_marker
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Thu, 7 Feb 2019 16:48:40 +0000 (17:48 +0100)
committerGitHub <noreply@github.com>
Thu, 7 Feb 2019 16:48:40 +0000 (17:48 +0100)
commitf6f6f7591368850be22b787a0980733ec2aba7a3
treeaa3960344899f595a208ac951af85adc572e962c
parent336afa8573eae107c92f7a6c5a80ac1ffbe9c611
parenta1e4ce9bbe4a92b71b09add8df2efd75626c44ed
Merge pull request #7697 from tjhei/ci_jenkins_marker

[CI]: add Jenkins marking

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.