From d9f813cca6329d502a51857882ff3e6cb4bf73c5 Mon Sep 17 00:00:00 2001
From: Sridhar Ratnakumar <srid@srid.ca>
Date: Wed, 4 May 2022 11:45:44 -0400
Subject: [PATCH] Add .envrc (for direnv)

---
 .envrc     | 1 +
 .gitignore | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 .envrc

diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..8392d15
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
\ No newline at end of file
diff --git a/.gitignore b/.gitignore
index 011032f..6adb4e8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 /target
 /result
 /result-lib
+.direnv
\ No newline at end of file