From 9690d5d3f811d2450ff4487f84cd988139004c52 Mon Sep 17 00:00:00 2001 From: Marco Neumann Date: Mon, 28 Jun 2021 12:52:03 +0200 Subject: [PATCH] chore: add indent to editorconfig --- .editorconfig | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.editorconfig b/.editorconfig index 589f81690b..ffe18061e1 100644 --- a/.editorconfig +++ b/.editorconfig @@ -4,3 +4,10 @@ root = true end_of_line = lf insert_final_newline = true trim_trailing_whitespace = true +indent_style = space + +[{Dockerfile*,*.proto}] +indent_size = 2 + +[{*.rs,*.toml}] +indent_size = 4