Move to security
[lgpl/argeo-commons.git] / eclipse / plugins / org.argeo.jcr.ui.explorer / .settings / org.eclipse.jdt.core.prefs
2011-02-24 Mathieu BaudierRename JCR explorer