Merge "Missing Push URI"
[egit.git] / org.eclipse.egit.ui / 
tree14e7c6bd00e4bf365b638685a01c4036e96bb06e
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-- 4931 plugin.properties
-rw-r--r-- 23099 plugin.xml
-rw-r--r-- 1171 pom.xml
drwxr-xr-x - src