From bd7d56442a02a617cd9e87fdb28b99949b98b1c5 Mon Sep 17 00:00:00 2001
From: Benjamin Monate <benjamin.monate@trust-in-soft.com>
Date: Wed, 27 May 2015 16:40:29 +0200
Subject: [PATCH] Ignore META

---
 src/plugins/e-acsl/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 0c1e1f185e9..5973a3c3145 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -78,3 +78,4 @@
 /tests/check/obj/*
 .frama-c
 tests/ptests_config
+META.frama-c-e_acsl
-- 
GitLab