]> git.argeo.org Git - lgpl/argeo-commons.git/tree - server/plugins/org.argeo.jcr.ui.explorer/.settings/
2.x specific - Fix default branding and other cosmetic issues to be compliant with...
[lgpl/argeo-commons.git] / server / plugins / org.argeo.jcr.ui.explorer / .settings /
drwxr-xr-x   ..
-rw-r--r-- 387 org.eclipse.jdt.core.prefs