diff --git a/de.prob.core/build.properties b/de.prob.core/build.properties index a160157665756a1881d01008566cb7ba8b013734..9fb141b7cfba9f7f131f0a0a5f0521aec2927685 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/