Merge branch 'receive-pack-filter'
[jgit.git] / org.eclipse.jgit.ui / plugin.properties
blobcbca803cc50e30d1019b941b2a025d51ab6dc02c
1 plugin_name=JGit AWT User Interface (Incubation)
2 provider_name=Eclipse.org