diff options
Diffstat (limited to 'org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs index 709a44074c..7210d0f74f 100644 --- a/org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs @@ -1,7 +1,7 @@ -#Wed May 09 00:20:24 CEST 2007 +#Fri Oct 02 18:43:47 PDT 2009 eclipse.preferences.version=1 -formatter_profile=_JGit -formatter_settings_version=10 +formatter_profile=_JGit Format +formatter_settings_version=11 org.eclipse.jdt.ui.ignorelowercasenames=true org.eclipse.jdt.ui.importorder=java;javax;org;com; org.eclipse.jdt.ui.ondemandthreshold=99 |