From 9151264e7d4eddcc6d65b1e0ce31e5cde9b9ad37 Mon Sep 17 00:00:00 2001 From: Chris Aniszczyk Date: Sat, 16 Jan 2010 10:00:30 -0600 Subject: Adding PDE API Tools nature to JGit --- org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs (limited to 'org.eclipse.jgit/.settings') 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 -- cgit v1.2.3