diff options
| author | Git Development Community <git@vger.kernel.org> | 2009-09-29 16:47:03 -0700 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2009-09-29 16:47:03 -0700 |
| commit | 1a6964c8274c50f0253db75f010d78ef0e739343 (patch) | |
| tree | ca833cc7cf6fc8c7b9850dee258f3a356c790ffc /org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs | |
| download | jgit-1a6964c8274c50f0253db75f010d78ef0e739343.tar.gz jgit-1a6964c8274c50f0253db75f010d78ef0e739343.zip | |
Initial JGit contribution to eclipse.org
Per CQ 3448 this is the initial contribution of the JGit project
to eclipse.org. It is derived from the historical JGit repository
at commit 3a2dd9921c8a08740a9e02c421469e5b1a9e47cb.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 0000000000..709a44074c --- /dev/null +++ b/org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,9 @@ +#Wed May 09 00:20:24 CEST 2007 +eclipse.preferences.version=1 +formatter_profile=_JGit +formatter_settings_version=10 +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/> |