Do not let PushToGerrit block the UI
[egit/eclipse.git] / org.eclipse.egit.source-feature / 
treeac1fd606f58df04fac79f44c14f3fc1b52c9954b
drwxr-xr-x   ..
-rw-r--r-- 7 .gitignore
-rw-r--r-- 403 .project
drwxr-xr-x - .settings
-rw-r--r-- 81 build.properties
-rw-r--r-- 12636 epl-v10.html
-rw-r--r-- 9838 feature.properties
-rw-r--r-- 1099 feature.xml
-rw-r--r-- 8747 license.html
-rw-r--r-- 941 pom.xml