From 72e767b625608c929c20722bfbf39a03342ea37c Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Thu, 24 Aug 2023 15:31:17 +0200
Subject: [PATCH] remove .envrc file

---
 dot_envrc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dot_envrc b/dot_envrc
index 64e97f8..8b13789 100644
--- a/dot_envrc
+++ b/dot_envrc
@@ -1,2 +1 @@
-# intentionally empty