From 64307892b5dc57964be8aca545fef6baae3e666e Mon Sep 17 00:00:00 2001 From: Gabriel Fontes Date: Mon, 12 Jun 2023 09:24:13 -0300 Subject: [PATCH] remove editorconfig and gitattributes Don't need gitattributes no more, and editorconfig is pretty much replaced by rustfmt + nixfmt --- .editorconfig | 15 --------------- .gitattributes | 1 - 2 files changed, 16 deletions(-) delete mode 100644 .editorconfig delete mode 100644 .gitattributes diff --git a/.editorconfig b/.editorconfig deleted file mode 100644 index 1a7f284..0000000 --- a/.editorconfig +++ /dev/null @@ -1,15 +0,0 @@ -root = true - -[*] -end_of_line = lf -insert_final_newline = true -charset = utf-8 -trim_trailing_whitespace = true - -[*.nix] -ident_style = space -ident_size = 2 - -[*.rs] -ident_style = space -ident_size = 4 diff --git a/.gitattributes b/.gitattributes deleted file mode 100644 index fb6fa53..0000000 --- a/.gitattributes +++ /dev/null @@ -1 +0,0 @@ -Cargo.nix linguist-generated