From da28a4e2afef21710f73860b26893fa18dd32858 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Sat, 29 Aug 2020 18:37:54 +0200
Subject: Add environment file instead of hardcoding everything in makefiles

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index feb036e..6786d42 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /result*
 /versions_log
+.direnv/
-- 
cgit v1.2.3