From bad1158a472b411ba7f6efb5ea713b6bdd007b32 Mon Sep 17 00:00:00 2001
From: Eike Stepper
Date: Mon, 11 Jul 2011 14:04:08 +0000
Subject: [351616] [releng] Provide platform-specific server downloads
 https://bugs.eclipse.org/bugs/show_bug.cgi?id=351616

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

(limited to 'plugins/org.eclipse.emf.cdo.releng.version/.settings')

diff --git a/plugins/org.eclipse.emf.cdo.releng.version/.settings/org.eclipse.core.resources.prefs b/plugins/org.eclipse.emf.cdo.releng.version/.settings/org.eclipse.core.resources.prefs
index c244efa32b..93c8fd514e 100644
--- a/plugins/org.eclipse.emf.cdo.releng.version/.settings/org.eclipse.core.resources.prefs
+++ b/plugins/org.eclipse.emf.cdo.releng.version/.settings/org.eclipse.core.resources.prefs
@@ -1,3 +1,3 @@
-#Mon Jul 04 13:11:34 CEST 2011
+#Mon Jul 11 16:02:45 CEST 2011
 eclipse.preferences.version=1
 encoding//model/org.eclipse.emf.cdo.defs.ecorediag=UTF-8
-- 
cgit v1.2.3