]> git.argeo.org Git - lgpl/argeo-commons.git/tree - security/plugins/org.argeo.security.ui.rcp/.settings/
fix bug 85 : JCR explorer refresh was not implemented for TreeParent objects of type...
[lgpl/argeo-commons.git] / security / plugins / org.argeo.security.ui.rcp / .settings /
drwxr-xr-x   ..
-rw-r--r-- 387 org.eclipse.jdt.core.prefs