Correctly skip over unrecognized optional dircache extensions
[jgit/MarioXXX.git] / org.eclipse.jgit.packaging / 
tree41b46c5ba48e19f1e45234f47d2a8d9827773f79
drwxr-xr-x   ..
drwxr-xr-x - org.eclipse.jgit.feature
drwxr-xr-x - org.eclipse.jgit.updatesite
-rw-r--r-- 4445 pom.xml