From c044dc89dafaef67ccc9d0d6e55d511cea9f75c2 Mon Sep 17 00:00:00 2001 From: nek0 Date: Thu, 20 Apr 2023 06:59:47 +0200 Subject: [PATCH] add .envrc --- .envrc | 1 + .gitignore | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 .envrc diff --git a/.envrc b/.envrc new file mode 100644 index 0000000..3550a30 --- /dev/null +++ b/.envrc @@ -0,0 +1 @@ +use flake diff --git a/.gitignore b/.gitignore index 76ea12c..6c01e9f 100644 --- a/.gitignore +++ b/.gitignore @@ -9,7 +9,6 @@ cabal.sandbox.config dist/ dist-newstyle/ .direnv/ -.envrc *.prof *.aux *.hp