From 0799b28be1dc3462372f0b11c02d53d528980446 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 30 Aug 2019 11:03:12 +0200
Subject: [PATCH] .gitignore

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

diff --git a/.gitignore b/.gitignore
index ee340cde..78ec2c33 100644
--- a/.gitignore
+++ b/.gitignore
@@ -55,3 +55,4 @@ META.frama-c-frama_clang
 .frama-c/
 tempirgen
 /mine/
+/frama-clang-*.tar.gz
-- 
GitLab