From 5038ba1aaad7df973f28b6170c2462f9fb8fc326 Mon Sep 17 00:00:00 2001
From: Christian Wulf <chw@informatik.uni-kiel.de>
Date: Wed, 22 Oct 2014 13:20:18 +0200
Subject: [PATCH] rename eclipse project

---
 .project                                 | 2 +-
 .settings/edu.umd.cs.findbugs.core.prefs | 2 +-
 src/test/java/dummy                      | 0
 3 files changed, 2 insertions(+), 2 deletions(-)
 create mode 100644 src/test/java/dummy

diff --git a/.project b/.project
index 9c7a3eb0..a25a62a6 100644
--- a/.project
+++ b/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-	<name>teetime</name>
+	<name>teetime-with-kieker</name>
 	<comment></comment>
 	<projects>
 	</projects>
diff --git a/.settings/edu.umd.cs.findbugs.core.prefs b/.settings/edu.umd.cs.findbugs.core.prefs
index 1201a4e2..b3b0f6f3 100644
--- a/.settings/edu.umd.cs.findbugs.core.prefs
+++ b/.settings/edu.umd.cs.findbugs.core.prefs
@@ -1,5 +1,5 @@
 #FindBugs User Preferences
-#Mon Oct 20 12:37:59 CEST 2014
+#Wed Oct 22 13:18:41 CEST 2014
 detector_threshold=3
 effort=max
 excludefilter0=.fbExcludeFilterFile|true
diff --git a/src/test/java/dummy b/src/test/java/dummy
new file mode 100644
index 00000000..e69de29b
-- 
GitLab