plugin.properties « org.eclipse.jgit - 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

about summary refs log tree commit diff stats

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

blob: b075cc6f2a01b8be8e3ba0c6009018a278b7ceb3 (plain)

1 2	`plugin_name=Java Git Core provider_name=eclipse.org`