plugin.properties « org.eclipse.jgit.java7 - jgit.git - JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit

index : jgit.git

JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit

www-data

summary refs log tree commit diff stats

path: root/org.eclipse.jgit.java7/plugin.properties

blob: fc2c16a5bf7e5929527778ab5857dd6af6d66f8d (plain)

1 2	`plugin_name=JGit Java 7 Support provider_name=Eclipse JGit`