Google Git
Sign in
eclipse / emf / org.eclipse.emf / 48f82c1d15b10c0a9e90005017eac55b9500f77f / . / plugins / org.eclipse.emf.common.ui / .settings
tree: 6215f40798829cab3c6b381bd21a4205d3ad2a8b [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs