From 75c0a8f234d6d9137f71324215b94837f3e58b1d Mon Sep 17 00:00:00 2001
From: patrick <patrick@noreply.gitea.patrickstevens.co.uk>
Date: Mon, 29 Jan 2024 00:37:41 +0000
Subject: [PATCH] Direnv (#6)

Co-authored-by: Smaug123 <patrick+github@patrickstevens.co.uk>
Reviewed-on: https://gitea.patrickstevens.co.uk/patrick/performance_aware_programming/pulls/6
---
 .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..3550a30
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.gitignore b/.gitignore
index e342029..c7e883b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@ target/
 
 data_*_flex.json
 data_*_haveranswer.f64
+.direnv/