From 9ee581d57e5d0a827d82271efbed553d48a97474 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 14 Sep 2021 09:10:49 +0200
Subject: [PATCH] [ivette] ignores local '.frama-c'

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

diff --git a/ivette/.gitignore b/ivette/.gitignore
index 6f5c2ec2a12..240ca44f95f 100644
--- a/ivette/.gitignore
+++ b/ivette/.gitignore
@@ -3,6 +3,7 @@
 # --------------------------------------------------------------------------
 
 .ivette
+.frama-c
 .dome-*.stamp
 .dome-*.back
 .eslint-cache
-- 
GitLab