Extra check on progress of refresh to decide visibility of progress circle
[pub/Android/ownCloud.git] / oc_jb_workaround / .settings /
drwxr-xr-x   ..
-rw-r--r-- 173 org.eclipse.jdt.core.prefs