Sign in
gerrit
/
jgit
/
0e13adb9cf3c498a790f080f07eb72cc2fb7c4e0
/
.
/
org.eclipse.jgit.console
/
plugin.properties
blob: 73a746b87768c54af96776d35b6ade7599400b50 [
file
] [
log
] [
blame
]
plugin_name
=
JGit
Console
User
Interface
provider_name
=
Eclipse
JGit
