Google Git
Sign in
eclipse / gerrit / modisco / org.eclipse.modisco / c5913a432ad958cb91cb97c040d01b3546f42b2c / . / org.eclipse.modisco.infra.facet / .settings
tree: f3b9b23fadf5ff98bf359f64b768ca5fcadf642b [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs