]> git.argeo.org Git - lgpl/argeo-commons.git/tree - server/plugins/org.argeo.jcr.ui.explorer/.settings/
Clearer comment. See ticket https://www.argeo.org/bugzilla/show_bug.cgi?id=188
[lgpl/argeo-commons.git] / server / plugins / org.argeo.jcr.ui.explorer / .settings /
drwxr-xr-x   ..
-rw-r--r-- 387 org.eclipse.jdt.core.prefs