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