org.eclipse.jgit.java7/plugin.properties - jgit - Git at Google

gerrit / jgit / d439c8dfe5ec521fc0f66cf956d9a5c7e63cadd3 / . / org.eclipse.jgit.java7 / plugin.properties

blob: fc2c16a5bf7e5929527778ab5857dd6af6d66f8d [file] [log] [blame]

	plugin_name=JGit Java 7 Support
	provider_name=Eclipse JGit

Powered by Gitiles| Privacy| Termstxt json