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

summary refs log tree commit diff stats

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

blob: bce4263a49a32538e4af2ae21a42e962c199288c (plain)

1
2
3

plugin_name=Java Git Console User Interface (Incubation)
provider_name=Eclipse.org
plugin_description=Console based user interface support