Use org.eclipse.egit branding plugin
[jgit.git] / org.eclipse.jgit.pgm / 
tree321d698e12e22202dbbb87bc5e449110f8a5e8c0
drwxr-xr-x   ..
-rw-r--r-- 475 .classpath
-rw-r--r-- 5 .gitignore
-rw-r--r-- 379 .project
drwxr-xr-x - .settings
drwxr-xr-x - src