org.chromium.debug.core/.settings/org.eclipse.jdt.ui.prefs
changeset 214 3a649437adec
parent 184 5d205e48f9d3
--- a/org.chromium.debug.core/.settings/org.eclipse.jdt.ui.prefs	Mon Mar 01 17:26:39 2010 -0800
+++ b/org.chromium.debug.core/.settings/org.eclipse.jdt.ui.prefs	Tue Mar 02 14:35:28 2010 -0800
@@ -1,6 +1,8 @@
-#Mon Feb 22 15:38:10 PST 2010
+#Tue Mar 02 14:09:48 PST 2010
 eclipse.preferences.version=1
 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=false
+formatter_profile=_Chromium
+formatter_settings_version=11
 sp_cleanup.add_default_serial_version_id=true
 sp_cleanup.add_generated_serial_version_id=false
 sp_cleanup.add_missing_annotations=false