From 3e58e8ba1f91dcf767bee45d792038183d5bf7c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Tronel?=
 <frederic.tronel@centralesupelec.fr>
Date: Mon, 16 Mar 2020 08:17:28 +0100
Subject: [PATCH] On ignore les .rig.

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

diff --git a/.gitignore b/.gitignore
index ffd5a61..e0a90a6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,6 +12,7 @@ tests/**/*.lex
 tests/**/*.linear
 tests/**/*.linear1
 tests/**/*.ltl
+tests/**/*.rig
 tests/**/*.rtl
 tests/**/*.s
 tests/**/*.svg
-- 
GitLab