We call it "JGit Format", not "JGit".
Change-Id: Idd20557d21fe20602c00a60bfeaea78d3c95fe5e
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
-#Sat Oct 31 14:53:06 PDT 2009
+#Tue Jan 05 09:30:22 PST 2010
eclipse.preferences.version=1
editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
-formatter_profile=_JGit
-formatter_settings_version=10
+formatter_profile=_JGit Format
+formatter_settings_version=11
internal.default.compliance=default
org.eclipse.jdt.ui.ignorelowercasenames=true
org.eclipse.jdt.ui.importorder=java;javax;org;com;
-#Sat Oct 31 14:53:06 PDT 2009
+#Tue Jan 05 11:30:06 PST 2010
eclipse.preferences.version=1
editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
-formatter_profile=_JGit
-formatter_settings_version=10
+formatter_profile=_JGit Format
+formatter_settings_version=11
internal.default.compliance=default
org.eclipse.jdt.ui.ignorelowercasenames=true
org.eclipse.jdt.ui.importorder=java;javax;org;com;