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