From 0dc5f44d3a2e854db937faab69e10960ae795bc1 Mon Sep 17 00:00:00 2001
From: Florian Fittkau <ffi@informatik.uni-kiel.de>
Date: Fri, 17 Apr 2015 15:05:37 +0200
Subject: [PATCH] build update

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index a056197..b186fee 100644
--- a/build.xml
+++ b/build.xml
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project name="Worker" default="build-all" basedir=".">
-	<property name="common-monitoring.dir" value="../common-monitoring"/>
+	<property name="common-monitoring.dir" value="../common"/>
 		
 	<property name="src.dir" value="src"/>
 	<property name="build.dir" value="build"/>
-- 
GitLab