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

blob: a86bcd86b884c681ce979188e842adb1e74f6871 (plain)

1 2	`plugin_name=Java Git Console User Interface (Incubation) provider_name=eclipse.org`