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