From ac2715cd150d094b9413e94f8cbdf73e39b1d800 Mon Sep 17 00:00:00 2001 From: Matei Adriel Date: Sun, 29 Oct 2023 06:58:15 +0100 Subject: [PATCH] Remove .envrc --- .envrc | 1 - .gitignore | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) delete mode 100644 .envrc diff --git a/.envrc b/.envrc deleted file mode 100644 index 8392d15..0000000 --- a/.envrc +++ /dev/null @@ -1 +0,0 @@ -use flake \ No newline at end of file diff --git a/.gitignore b/.gitignore index 7a95014..5e3bb5c 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,4 @@ coverege idea .direnv result +.envrc