From 49b33b4bd7165de5d94a0e976914ca55f4efbd53 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 1 Nov 2012 15:40:51 +0100
Subject: [PATCH] Ignore derivation trees

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index a35dc06b8..0d1fa1988 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,6 @@
 target
 /project/build
 /leon
+
+# synthesis
+derivation*.dot
-- 
GitLab