From 6db06249fbede596ad278a03a29b1fb4aac27073 Mon Sep 17 00:00:00 2001
From: bartimaeusnek <33183715+bartimaeusnek@users.noreply.github.com>
Date: Wed, 18 Apr 2018 18:05:17 +0200
Subject: Try to make GT++ Ores work + Version increase

---
 .settings/org.eclipse.jdt.core.prefs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.settings')

diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
index 3a9a8e8ca8..5f861aea4f 100644
--- a/.settings/org.eclipse.jdt.core.prefs
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -1,5 +1,5 @@
 #
-#Sun Jul 10 12:13:28 MSK 2016
+#Wed Apr 18 13:37:53 CEST 2018
 org.eclipse.jdt.core.compiler.debug.localVariable=generate
 org.eclipse.jdt.core.compiler.compliance=1.6
 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-- 
cgit