Do not add ignored files in Add command
[jgit.git] / org.eclipse.jgit.http.server / plugin.properties
blobbafc6bb1826dcbfc18d9ebc036681e456a9f6310
1 plugin_name=JGit HTTP Server (Incubation)
2 provider_name=Eclipse.org