jgit/org.eclipse.jgit.http.server/plugin.properties

3 lines
68 B
INI

plugin_name=JGit HTTP Server (Incubation)
provider_name=Eclipse.org