From 9d6840fcea207dc35b23821219c2edca9ce5e237 Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan.lepage@inria.fr>
Date: Wed, 6 Jul 2022 22:34:30 +0200
Subject: [PATCH] removed .envrc

---
 .envrc | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 .envrc

diff --git a/.envrc b/.envrc
deleted file mode 100644
index 619fe07..0000000
--- a/.envrc
+++ /dev/null
@@ -1 +0,0 @@
-source venv/bin/activate
-- 
GitLab