diff options
author | Markus Keller | 2015-09-29 21:15:23 +0000 |
---|---|---|
committer | Markus Keller | 2015-12-01 01:50:30 +0000 |
commit | f01dd079500e382823d5d1767996cb9ef85233ee (patch) | |
tree | e91e696b6d26a401a57907eff247949409501faf /org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs | |
parent | 6c099b51b77c338e2cf7ea19e64007d77f0f3585 (diff) | |
download | eclipse.platform.text-f01dd079500e382823d5d1767996cb9ef85233ee.tar.gz eclipse.platform.text-f01dd079500e382823d5d1767996cb9ef85233ee.tar.xz eclipse.platform.text-f01dd079500e382823d5d1767996cb9ef85233ee.zip |
Bug 478673: Move platform text to Java 1.8 BREE
Diffstat (limited to 'org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs')
-rw-r--r-- | org.eclipse.jface.text.tests/.settings/org.eclipse.jdt.ui.prefs | 3 |
1 files changed, 1 insertions, 2 deletions
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 |