From fe58616053dcf9d80da4028dd2a5c4e44befb878 Mon Sep 17 00:00:00 2001 From: srdusr Date: Fri, 11 Aug 2023 20:50:30 +0200 Subject: Moved to $HOME/ --- .editorconfig | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 .editorconfig diff --git a/.editorconfig b/.editorconfig deleted file mode 100644 index 86067d4..0000000 --- a/.editorconfig +++ /dev/null @@ -1,38 +0,0 @@ -root = true - -[**] -end_of_line = lf -insert_final_newline = true -trim_trailing_whitespace = true -indent_style = space -indent_size = 4 -charset = utf-8 - -# TypeScript/JavaScript config -[**.{ts,js}] -indent_size = 2 - -# Json config -[**.json] -indent_size = 2 - -# Lua config -[**.lua] -indent_size = 2 - -# Latex config -[**.tex] -trim_trailing_whitespace = false - -# Markdown config -[**.md] -trim_trailing_whitespace = false - -# Textfile config -[**.txt] -trim_trailing_whitespace = false -insert_final_newline = false - -# Snippets config -[**.snippets] -indent_style = tab -- cgit v1.2.3