Correctly skip over unrecognized optional dircache extensions
[jgit/MarioXXX.git] / org.eclipse.jgit.pgm / 
tree45e997617c565e9b76d5203b980692872ef50fa5
drwxr-xr-x   ..
-rw-r--r-- 441 .classpath
-rw-r--r-- 13 .gitignore
-rw-r--r-- 653 .project
drwxr-xr-x - .settings
drwxr-xr-x - META-INF
-rw-r--r-- 111 build.properties
-rw-r--r-- 2670 jgit.sh
-rw-r--r-- 79 plugin.properties
-rw-r--r-- 6411 pom.xml
drwxr-xr-x - src