From fa792f664ec8da60539862c846c12bbe9fead7a7 Mon Sep 17 00:00:00 2001 From: Victor Date: Sun, 3 Nov 2019 19:31:29 +0100 Subject: [PATCH] Use correct setting for .editorconfig indent_style (#1670) --- .editorconfig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.editorconfig b/.editorconfig index 593ae64e..fbe828c3 100644 --- a/.editorconfig +++ b/.editorconfig @@ -13,7 +13,7 @@ trim_trailing_whitespace = true insert_final_newline = true [Makefile] -indent_style = tabs +indent_style = tab indent_size = 4 [Vagrantfile] @@ -23,7 +23,7 @@ indent_size = 2 indent_size = 2 [*.py] -indent_style = tabs +indent_style = tab [*.js] indent_size = 2