From 4e75f15e935458130178f52b4bb3ccad410d5301 Mon Sep 17 00:00:00 2001 From: Graham Date: Sun, 9 Feb 2020 17:58:49 +0000 Subject: [PATCH] Add Jenkinsfile to .editorconfig --- .editorconfig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.editorconfig b/.editorconfig index 899d481ab5..1a4aa6ff08 100644 --- a/.editorconfig +++ b/.editorconfig @@ -17,3 +17,7 @@ disabled_rules = import-ordering [*.xml] indent_style = space indent_size = 2 + +[Jenkinsfile] +indent_style = space +indent_size = 4