changeset 7526:1d804095d410

gave formatter profile the name "Graal"
author Doug Simon <doug.simon@oracle.com>
date Wed, 23 Jan 2013 14:13:49 +0100
parents 0763105fa02c
children 2232848be438
files mx/eclipse-settings/org.eclipse.jdt.ui.prefs
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Wed Jan 23 14:13:23 2013 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Wed Jan 23 14:13:49 2013 +0100
@@ -58,7 +58,8 @@
 comment_separate_root_tags=true
 eclipse.preferences.version=1
 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
-formatter_settings_version=11
+formatter_profile=_Graal
+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