From 18ee3f611d5230289f3f51d36646c9b579eec5f6 Mon Sep 17 00:00:00 2001 From: Turiiya <34311583+ttytm@users.noreply.github.com> Date: Sun, 22 Oct 2023 02:11:57 +0200 Subject: [PATCH] Fix indent setting in `.editorconfig` for `*.v` files --- .editorconfig | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.editorconfig b/.editorconfig index f5dc02acb..ecdb17ccf 100644 --- a/.editorconfig +++ b/.editorconfig @@ -7,10 +7,8 @@ charset = utf-8 end_of_line = lf insert_final_newline = true -# Matches multiple files with brace expansion notation -[*.v] -indent_style = space -indent_size = 8 +[*.{v,vsh}] +indent_style = tab [*.rst] indent_style = space