From 7d8ad3a778f4522848b53a44d5258282cc01d11d Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 7 Mar 2016 11:17:30 +0100
Subject: [PATCH] [.gitignore] Added top directory generated by frama-c

---
 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 bad643ee748..8bc5e0b54ec 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -69,3 +69,4 @@ META.frama-c-e_acsl
 .merlin
 Makefile.plugin.generated
 E_ACSL.check_mli_exists
+top/
-- 
GitLab