Google Git
Sign in
eclipse / gerrit / modisco / org.eclipse.modisco / 2c8c79d44ddb5c4cb09f0c47caa2fc55a944049c / . / org.eclipse.gmt.modisco.omg.smm / .settings
tree: 1b889e2809d53e2bab37e0b38b889be674f12a23 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs