diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 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 04ebcabcba4f
children 1d804095d410
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