]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10787 from tjhei/jenkinsfile_no_tabs
authorPeter Munch <peterrmuench@gmail.com>
Sat, 1 Aug 2020 15:15:57 +0000 (17:15 +0200)
committerGitHub <noreply@github.com>
Sat, 1 Aug 2020 15:15:57 +0000 (17:15 +0200)
commite93593e2ff36d77d7ab0fd16074474b7e5339d25
treeee83b843077433858c1a59021796a1864a112aa3
parentea6a92f7efa7443ef70f0f4e8e77fc1b20e21e9c
parent086e714c095ea4e1b697db156cac578de168eedc
Merge pull request #10787 from tjhei/jenkinsfile_no_tabs

Jenkinsfile: convert tabs to spaces

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.