Google Git
Sign in
eclipse / emfclient / org.eclipse.emf.ecp.other / c33511d397ef3b3654c536d1029699880e29b173 / . / old / org.eclipse.emf.ecp.navigator / .settings
tree: 5fb026e7511b4726953f6b567a49843eaaf5bdb0 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs