Merge "Adding PDE API Tools nature to JGit"
treeacfcf62ab1d6c4e73c508662e54ffccb04f7fb22
-rw-r--r-- 17 .gitattributes
-rw-r--r-- 1901 LICENSE
-rw-r--r-- 3676 README
-rw-r--r-- 3904 SUBMITTING_PATCHES
drwxr-xr-x - org.eclipse.jgit.console
drwxr-xr-x - org.eclipse.jgit.http.server
drwxr-xr-x - org.eclipse.jgit.http.test
drwxr-xr-x - org.eclipse.jgit.junit
drwxr-xr-x - org.eclipse.jgit.packaging
drwxr-xr-x - org.eclipse.jgit.pgm
drwxr-xr-x - org.eclipse.jgit.test
drwxr-xr-x - org.eclipse.jgit.ui
drwxr-xr-x - org.eclipse.jgit
-rw-r--r-- 10644 pom.xml
drwxr-xr-x - tools