From 59fa69f8b1fddc3c97dc2e56661ef2f78bb1fd36 Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan.lepage@inria.fr>
Date: Fri, 1 Apr 2022 11:39:39 +0200
Subject: [PATCH] [gitignore] don't ignore .remi anymore

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 0ab2678..b5559e1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,4 +8,3 @@ frontend/htmlcov/
 frontend/dist/
 frontend/build/
 *.egg-info/
-.remi/
-- 
GitLab