Merge "Remove never used parameter"
[egit.git] / org.eclipse.egit.ui / 
tree446a99487d32048a43d5de8954f22a90cbed538d
drwxr-xr-x   ..
-rw-r--r-- 367 .classpath
-rw-r--r-- 11 .gitignore
-rw-r--r-- 145 .options
-rw-r--r-- 770 .project
drwxr-xr-x - .settings
drwxr-xr-x - META-INF
-rw-r--r-- 1427 about.html
-rw-r--r-- 191 build.properties
drwxr-xr-x - icons
-rw-r--r-- 4671 plugin.properties
-rw-r--r-- 20320 plugin.xml
-rw-r--r-- 1373 pom.xml
drwxr-xr-x - src