src-trl/.settings/org.eclipse.jdt.ui.prefs
changeset 5934 8301646662ac
parent 2571 b4f37bdbed6c
--- a/src-trl/.settings/org.eclipse.jdt.ui.prefs	Tue Jan 19 16:35:53 2010 +0100
+++ b/src-trl/.settings/org.eclipse.jdt.ui.prefs	Tue Jan 19 16:48:03 2010 +0100
@@ -1,7 +1,6 @@
-#Tue Jan 13 09:26:37 CET 2009
+#Tue Jan 19 16:46:58 CET 2010
 eclipse.preferences.version=1
 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
-formatter_profile=_Openbravo
 formatter_settings_version=11
 sp_cleanup.add_default_serial_version_id=true
 sp_cleanup.add_generated_serial_version_id=false