org.eclipse.php.ui.prefs 134 Bytes Edit Raw Blame History Permalink 1 2 3 4 eclipse.preferences.version=1 org.eclipse.php.core.workspaceDefaultLocale=fr_FR useAnnotationsPrefPage=true useQuickDiffPrefPage=true