summaryrefslogtreecommitdiffstats
path: root/.envrc
diff options
context:
space:
mode:
authorRutger Broekhoff2026-06-24 19:29:28 +0200
committerRutger Broekhoff2026-06-24 19:29:28 +0200
commite2681e43cc7849d66425d5bc93565e9e177d229a (patch)
treefd03d9461bd52b076a45c9ba6b6587053e17a811 /.envrc
downloadri-lmpmc-formalization-e2681e43cc7849d66425d5bc93565e9e177d229a.tar.gz
ri-lmpmc-formalization-e2681e43cc7849d66425d5bc93565e9e177d229a.zip
Initial commitHEADmain
Diffstat (limited to '.envrc')
-rw-r--r--.envrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..3550a30
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
use flake