Use org.eclipse.egit branding plugin
[jgit.git] / org.eclipse.jgit-feature / 
tree931fac1f73700f243bdf9e300c850350363caf02
drwxr-xr-x   ..
-rw-r--r-- 379 .project
-rw-r--r-- 63 build.properties
-rw-r--r-- 3420 feature.properties
-rw-r--r-- 801 feature.xml