]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9582 from masterleinad/improve_indentation_jenkinsfile
authorTimo Heister <timo.heister@gmail.com>
Sun, 1 Mar 2020 17:48:36 +0000 (12:48 -0500)
committerGitHub <noreply@github.com>
Sun, 1 Mar 2020 17:48:36 +0000 (12:48 -0500)
commit94bb746627b991ca92588a9e7bf52a37e2ac3cf8
treed9f547e976e9998a9563acfeca947d289ae1620f
parent87a7d7d80faf2ff9ed49b5b3f119bf6720597eef
parentd59d7570e542c63b18feaba31b280ef63225f2f3
Merge pull request #9582 from masterleinad/improve_indentation_jenkinsfile

Improve indentation of Jenkinsfile

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.