From e147bdb7da8e48c1483c7732a0eb6b6f54699b66 Mon Sep 17 00:00:00 2001
From: Thomas Lenz <tlenz@iaik.tugraz.at>
Date: Tue, 20 May 2014 16:18:21 +0200
Subject: update version management

---
 .settings/org.eclipse.core.resources.prefs | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .settings/org.eclipse.core.resources.prefs

(limited to '.settings/org.eclipse.core.resources.prefs')

diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 000000000..99f26c020
--- /dev/null
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding/<project>=UTF-8
-- 
cgit v1.2.3