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