From aea30dd3f1abee9678b035fc5f7978063d44dbac Mon Sep 17 00:00:00 2001 From: Graham Date: Sun, 8 Mar 2020 17:59:00 +0000 Subject: [PATCH] Remove Jenkinsfile from .editorconfig Signed-off-by: Graham --- .editorconfig | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.editorconfig b/.editorconfig index 8c0898f6..d9a6a69e 100644 --- a/.editorconfig +++ b/.editorconfig @@ -17,7 +17,3 @@ disabled_rules = import-ordering [*.{xml,yaml,yml}] indent_style = space indent_size = 2 - -[Jenkinsfile] -indent_style = space -indent_size = 4