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