Sign in
gerrit
/
jgit
/
d5ec15c8d04dd7f537ab3415446c01f4d42f7a77
/
.
/
org.eclipse.jgit.pgm
/
plugin.properties
blob: 118fe47b1e59a18a652c06e7b7e1f931bf647032 [
file
] [
log
] [
blame
]
plugin_name
=
JGit
Command
Line
Interface
provider_name
=
Eclipse
JGit