diff options
| -rw-r--r-- | org.eclipse.jgit.junit/.settings/org.eclipse.jdt.ui.prefs | 6 | ||||
| -rw-r--r-- | org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/org.eclipse.jgit.junit/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jgit.junit/.settings/org.eclipse.jdt.ui.prefs index 9adc9b1d31..5f130336dd 100644 --- a/org.eclipse.jgit.junit/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.jgit.junit/.settings/org.eclipse.jdt.ui.prefs @@ -1,8 +1,8 @@ -#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; diff --git a/org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs index 9adc9b1d31..476f78fa9f 100644 --- a/org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs @@ -1,8 +1,8 @@ -#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; |