Browse Source

Merge "Adding PDE API Tools nature to JGit"

stable-0.7
Robin Rosenberg 15 years ago committed by Code Review
parent
commit
86e0c1e036
  1. 6
      org.eclipse.jgit/.project
  2. 3
      org.eclipse.jgit/.settings/org.eclipse.pde.core.prefs

6
org.eclipse.jgit/.project

@ -20,9 +20,15 @@
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.api.tools.apiAnalysisBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.jdt.core.javanature</nature>
<nature>org.eclipse.pde.PluginNature</nature>
<nature>org.eclipse.pde.api.tools.apiAnalysisNature</nature>
</natures>
</projectDescription>

3
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
Loading…
Cancel
Save