From d52ac95deeb6cb5b9b1cb2aefe875bb0f1140447 Mon Sep 17 00:00:00 2001
From: Florian Fittkau <ffi@informatik.uni-kiel.de>
Date: Mon, 7 Oct 2013 15:22:05 +0200
Subject: [PATCH] minor

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

diff --git a/.project b/.project
index ea4c13b..572e7f6 100644
--- a/.project
+++ b/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-	<name>Worker</name>
+	<name>worker</name>
 	<comment></comment>
 	<projects>
 	</projects>
-- 
GitLab