From 747f1eb3e92d3e60b41b668dec276431c5a163ad Mon Sep 17 00:00:00 2001
From: Christian Wulf <chw@informatik.uni-kiel.de>
Date: Thu, 12 Feb 2015 18:09:30 +0100
Subject: [PATCH] added copyright header

---
 .settings/edu.umd.cs.findbugs.core.prefs | 2 +-
 src/site/markdown/wiki                   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.settings/edu.umd.cs.findbugs.core.prefs b/.settings/edu.umd.cs.findbugs.core.prefs
index b3cb73a2..beb19a7f 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 Feb 09 10:32:26 CET 2015
+#Thu Feb 12 18:09:41 CET 2015
 detector_threshold=3
 effort=max
 excludefilter0=.fbExcludeFilterFile|true
diff --git a/src/site/markdown/wiki b/src/site/markdown/wiki
index a9358190..0e447457 160000
--- a/src/site/markdown/wiki
+++ b/src/site/markdown/wiki
@@ -1 +1 @@
-Subproject commit a93581905ef7b0584d52eae1898148ffa6201a31
+Subproject commit 0e4474577e1f49bc96e734c286b2d9e0363895e8
-- 
GitLab