From f01dd079500e382823d5d1767996cb9ef85233ee Mon Sep 17 00:00:00 2001
From: Markus Keller
Date: Tue, 29 Sep 2015 23:15:23 +0200
Subject: Bug 478673: Move platform text to Java 1.8 BREE

---
 org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs')

diff --git a/org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs
index ee520890def..b73bfac6f0d 100644
--- a/org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs
+++ b/org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs
@@ -1,7 +1,6 @@
-#Tue Jul 15 15:34:15 CEST 2008
 eclipse.preferences.version=1
 formatter_profile=_JDT UI Code Style Conventions
-formatter_settings_version=11
+formatter_settings_version=12
 org.eclipse.jdt.ui.exception.name=e
 org.eclipse.jdt.ui.gettersetter.use.is=true
 org.eclipse.jdt.ui.ignorelowercasenames=true
-- 
cgit v1.2.3