From b5677394dce5593892f2499a925a663f6393b796 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 21 Mar 2012 13:44:55 +0100
Subject: [PATCH] fixed a configuration bug (missing lib)
---
de.prob.core/build.properties | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/de.prob.core/build.properties b/de.prob.core/build.properties
index a1601576..9fb141b7 100644
--- a/de.prob.core/build.properties
+++ b/de.prob.core/build.properties
@@ -5,6 +5,5 @@ bin.includes = META-INF/,\
.,\
lib/probcliparser.jar,\
lib/commons-lang-2.4.jar,\
- prob/,\
- lib/keyboard.jar
+ prob/
--
GitLab