]> https://gitweb.dealii.org/ - dealii.git/commit
Jenkinsfile: convert tabs to spaces 10787/head
authorTimo Heister <timo.heister@gmail.com>
Sat, 1 Aug 2020 14:52:26 +0000 (10:52 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sat, 1 Aug 2020 14:52:26 +0000 (10:52 -0400)
commit086e714c095ea4e1b697db156cac578de168eedc
treeee83b843077433858c1a59021796a1864a112aa3
parentea6a92f7efa7443ef70f0f4e8e77fc1b20e21e9c
Jenkinsfile: convert tabs to spaces
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.