]> https://gitweb.dealii.org/ - dealii.git/commit
fix indentation 7859/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 26 Mar 2019 03:55:27 +0000 (21:55 -0600)
committerTimo Heister <timo.heister@gmail.com>
Tue, 26 Mar 2019 03:55:27 +0000 (21:55 -0600)
commit88362a235229fb83b00d554766f3f6a98978d640
treea24b85eb3977c62aca385b897c024f113b632ff8
parenta5577ea660d98051e9c8d682485f9749e85b2a8d
fix indentation
contrib/ci/Jenkinsfile.osx
contrib/ci/Jenkinsfile.tidy

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.