Google Git
Sign in
eclipse/modisco/org.eclipse.modisco/refs/heads/bug453476/./org.eclipse.gmt.modisco.infra.discoverymanager/.settings
tree: ffcd868b2ff37dd7d121f031d8b55903aebf720b
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs