![]() These names are presented to users when they install JGit so they should be consistent. Bug: 496101 Change-Id: I88a1abd8c3717d9a2f958e3a39edb2dbce3a415b Signed-off-by: Matthias Sohn <matthias.sohn@sap.com> |
||
---|---|---|
.. | ||
.settings | ||
.gitignore | ||
.project | ||
build.properties | ||
edl-v10.html | ||
feature.properties | ||
feature.xml | ||
license.html | ||
pom.xml |