diff options
Diffstat (limited to 'org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 0000000000..fce94cf0c2 --- /dev/null +++ b/org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,10 @@ +#Thu Dec 20 01:31:04 CET 2007 +eclipse.preferences.version=1 +formatter_profile=_JGit +formatter_settings_version=10 +internal.default.compliance=default +org.eclipse.jdt.ui.ignorelowercasenames=true +org.eclipse.jdt.ui.importorder=java;javax;org;com; +org.eclipse.jdt.ui.ondemandthreshold=99 +org.eclipse.jdt.ui.staticondemandthreshold=99 +org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/> |