diff options
| author | Chris Aniszczyk <caniszczyk@gmail.com> | 2010-01-16 10:00:30 -0600 |
|---|---|---|
| committer | Chris Aniszczyk <caniszczyk@gmail.com> | 2010-01-16 10:00:30 -0600 |
| commit | 9151264e7d4eddcc6d65b1e0ce31e5cde9b9ad37 (patch) | |
| tree | 243c68ab78ffb4353808af3f2247f3876f8d3289 /org.eclipse.jgit/.settings | |
| parent | 1ce2e13e1323a44fd83764980ab92ef7e8f94006 (diff) | |
| download | jgit-9151264e7d4eddcc6d65b1e0ce31e5cde9b9ad37.tar.gz jgit-9151264e7d4eddcc6d65b1e0ce31e5cde9b9ad37.zip | |
Adding PDE API Tools nature to JGit
Diffstat (limited to 'org.eclipse.jgit/.settings')
| -rw-r--r-- | org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs b/org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs new file mode 100644 index 0000000000..82793f2d27 --- /dev/null +++ b/org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs @@ -0,0 +1,3 @@ +#Thu Jan 14 14:34:32 CST 2010 +eclipse.preferences.version=1 +resolve.requirebundle=false |