Matthias Sohn ab79ce91c1 Change JGit minimum execution environment to JavaSE-1.8 | vor 7 Jahren | |
---|---|---|
.. | ||
maven-central | vor 8 Jahren | |
FILE_HEADER | vor 14 Jahren | |
default.defs | vor 8 Jahren | |
eclipse-JGit-Format.xml | vor 7 Jahren | |
git.defs | vor 8 Jahren | |
graft-old-history.sh | vor 14 Jahren | |
release.sh | vor 8 Jahren | |
version.sh | vor 8 Jahren |