parent_authority: use local:user config authority if parent_authority from SFA is...
[myslice.git] / .settings / org.eclipse.core.resources.prefs
2014-02-20 Ciro ScognamiglioMerge branch 'master' of ssh://git.onelab.eu/git/myslice
2014-02-20 Ciro Scognamiglioadded theme