changeset 7515:44d92b447951

removed name of shared formatter profile
author Doug Simon <doug.simon@oracle.com>
date Tue, 22 Jan 2013 20:04:42 +0100
parents 6bf569d50989
children 427e797ab18e
files mx/eclipse-settings/org.eclipse.jdt.ui.prefs
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Tue Jan 22 17:46:40 2013 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Tue Jan 22 20:04:42 2013 +0100
@@ -58,7 +58,6 @@
 comment_separate_root_tags=true
 eclipse.preferences.version=1
 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
-formatter_profile=_MaxineJavaCodeStyle
 formatter_settings_version=11
 org.eclipse.jdt.ui.exception.name=e
 org.eclipse.jdt.ui.gettersetter.use.is=true