From 5a40c1f1f1eca5ae56cacae5c0c0440375ea9276 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Mon, 17 Aug 2015 14:16:33 +0200
Subject: [PATCH] ignore log file (generated by tests)

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

diff --git a/.gitignore b/.gitignore
index fdc00a4..95e14ac 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@ build/
 .gradle/
 .settings/
 .classpath
-.project
\ No newline at end of file
+.project
+probkodkod.log
\ No newline at end of file
-- 
GitLab