Sign in
gerrit
/
jgit
/
1555eeaa9cd8daf6171a75add891e7de72b72dfb
/
.
/
org.eclipse.jgit.java7
/
plugin.properties
blob: fc2c16a5bf7e5929527778ab5857dd6af6d66f8d [
file
] [
log
] [
blame
]
plugin_name
=
JGit
Java
7
Support
provider_name
=
Eclipse
JGit