From e0598499d632a0e288b05d15ed799c790fc08cd8 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Fri, 23 Mar 2012 11:13:04 +0100
Subject: [PATCH] add binaries to gitignore

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

diff --git a/.gitignore b/.gitignore
index 7eded293..bf87aa22 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,4 +5,6 @@
 **/pom.xml
 .DS_Store
 pom.xml
-updatesite/
\ No newline at end of file
+updatesite/
+de.prob.core/prob/
+build/
\ No newline at end of file
-- 
GitLab