From 121a6a376209de3f5a9474bf03721e2032a73e01 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 13 May 2024 11:00:47 -0500 Subject: initial commit --- .envrc | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .envrc (limited to '.envrc') diff --git a/.envrc b/.envrc new file mode 100644 index 0000000..025e9f8 --- /dev/null +++ b/.envrc @@ -0,0 +1,3 @@ +use flake . + + -- cgit v1.2.3