From 21bdcb716ba2b85164817ef29d70a5a275dd8bde Mon Sep 17 00:00:00 2001 From: Bryton Hall Date: Fri, 12 Aug 2022 09:44:26 -0400 Subject: [PATCH] cleanup some misc files --- .editorconfig | 11 ----------- .gitattributes | 1 - .gitignore | 4 ++-- CONTRIBUTING.md | 2 +- 4 files changed, 3 insertions(+), 15 deletions(-) delete mode 100644 .editorconfig delete mode 100644 .gitattributes diff --git a/.editorconfig b/.editorconfig deleted file mode 100644 index beffa30..0000000 --- a/.editorconfig +++ /dev/null @@ -1,11 +0,0 @@ -root = true - -[*] -indent_style = space -indent_size = 2 -charset = utf-8 -trim_trailing_whitespace = true -insert_final_newline = true - -[*.md] -trim_trailing_whitespace = false diff --git a/.gitattributes b/.gitattributes deleted file mode 100644 index 176a458..0000000 --- a/.gitattributes +++ /dev/null @@ -1 +0,0 @@ -* text=auto diff --git a/.gitignore b/.gitignore index 8ca3126..76570c1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,2 @@ -result* -shared/* +result +.direnv/ \ No newline at end of file diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 20f4216..d46d602 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -15,7 +15,7 @@ where you will find a [devshell](https://numtide.github.io/devshell) prompt (whi There's no formal commit process at this time. -Do try to format the repo before submission, however. +Do try to format the repo with [treefmt](https://github.com/numtide/treefmt) before submission, however. nix develop -c treefmt