![]() * stable-1.2: JGit v1.2.0.201112221803-r Expose unmerged paths when revert fails Enforce the use of Java5 API:s only (with a few exceptions) Change-Id: Ib18d41a65e68cc47fb63114fcce27a16820d0692 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com> |
||
---|---|---|
.. | ||
.settings | ||
META-INF | ||
resources/org/eclipse/jgit/http/server | ||
src/org/eclipse/jgit/http/server | ||
.classpath | ||
.fbprefs | ||
.gitignore | ||
.project | ||
about.html | ||
build.properties | ||
plugin.properties | ||
pom.xml |