Reindent.

This commit is contained in:
Robert Jacob 2017-07-08 19:41:11 +02:00
parent 3d0d4d8734
commit c373dfd769
4 changed files with 102 additions and 103 deletions

View File

@ -2,7 +2,7 @@ root = true
[*] [*]
indent_style = space indent_style = space
indent_size = 4 indent_size = 2
end_of_line = lf end_of_line = lf
charset = utf-8 charset = utf-8
trim_trailing_whitespace = true trim_trailing_whitespace = true

1
Jenkinsfile vendored
View File

@ -58,7 +58,6 @@ pipeline {
} }
} }
stage('build') { stage('build') {
steps { steps {
dir("source") { dir("source") {