Correctly skip over unrecognized optional dircache extensions
[jgit/MarioXXX.git] / org.eclipse.jgit.ui / 
tree49a0f637741d6446ce220ae6674b8378cb016478
drwxr-xr-x   ..
-rw-r--r-- 367 .classpath
-rw-r--r-- 13 .gitignore
-rw-r--r-- 842 .project
drwxr-xr-x - .settings
drwxr-xr-x - META-INF
-rw-r--r-- 111 build.properties
-rw-r--r-- 75 plugin.properties
-rw-r--r-- 3434 pom.xml
drwxr-xr-x - src