From d19c59d49b63b663449303ebfca2aab01720faf0 Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan.lepage@inria.fr>
Date: Tue, 16 Aug 2022 15:58:36 +0200
Subject: [PATCH] remi

---
 .gitignore       | 1 -
 .remi/.gitignore | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 .remi/.gitignore

diff --git a/.gitignore b/.gitignore
index ec6fc07..46960f4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,3 @@ frontend/dist/
 frontend/build/
 *.egg-info/
 venv/
-.remi/
diff --git a/.remi/.gitignore b/.remi/.gitignore
new file mode 100644
index 0000000..d34dfec
--- /dev/null
+++ b/.remi/.gitignore
@@ -0,0 +1 @@
+last_push.log
-- 
GitLab