Don't run ResourceRefreshJob as Workspace job to avoid resource events
[egit/eclipse.git] / org.eclipse.egit.ui / 
tree6268ee36cf57ac9dbe4ac9052fd5fcaeb6173883
drwxr-xr-x   ..
-rw-r--r-- 369 .classpath
-rw-r--r-- 7160 .fbprefs
-rw-r--r-- 11 .gitignore
-rw-r--r-- 753 .options
-rw-r--r-- 960 .project
drwxr-xr-x - .settings
drwxr-xr-x - META-INF
-rw-r--r-- 1427 about.html
-rw-r--r-- 337 build.properties
drwxr-xr-x - css
drwxr-xr-x - findBugs
drwxr-xr-x - icons
-rw-r--r-- 18716 plugin.properties
-rw-r--r-- 222285 plugin.xml
-rw-r--r-- 1422 pom.xml
drwxr-xr-x - schema
drwxr-xr-x - src