From f09148124b6d3a01e43e93233e47af0b8ecf0d56 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 15 Dec 2023 15:03:27 -0600 Subject: Blah --- .envrc | 1 + 1 file changed, 1 insertion(+) create mode 100644 .envrc diff --git a/.envrc b/.envrc new file mode 100644 index 0000000..a5dbbcb --- /dev/null +++ b/.envrc @@ -0,0 +1 @@ +use flake . -- cgit v1.2.3