Merge changes I39bfefee,I47795987,I70d120fb,I58cc5e01,I96bee7b9
[jgit.git] / org.eclipse.jgit.console / plugin.properties
blob192eaa37043c07dfc6735cec915add7b96a26ab7
1 plugin_name=JGit Console User Interface (Incubation)
2 provider_name=Eclipse.org