From faa0dec1ea540e2b34f10c9c8bee550afe4e0d16 Mon Sep 17 00:00:00 2001
From: Benjamin Monate <benjamin.monate@trust-in-soft.com>
Date: Thu, 18 Dec 2014 08:53:50 +0100
Subject: [PATCH] Ignore generated ptests_config file

---
 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 23c3796e8f4..b90605ae71a 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -76,3 +76,4 @@
 /tests/e-acsl-reject/result/*.log
 /tests/check/obj/*
 .frama-c
+tests/ptests_config
-- 
GitLab