From 4b277d4c29a266a3af0816135ff2b6e1b1e67921 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 6 Feb 2015 20:53:47 +0100
Subject: [PATCH] Update .gitignore

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

diff --git a/.gitignore b/.gitignore
index efda7f1cc..26d51a74c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,9 @@ derivation*.dot
 
 # leon
 last.log
+*.last
+*.table
+*.log
 
 #eclipse
 .cache
-- 
GitLab