Google Git
Sign in
eclipse / gerrit / modisco / org.eclipse.modisco / 14d75c607ae7007b2ac595d6a6b920a2528904f3 / . / org.eclipse.gmt.modisco.java / .settings
tree: 6e67858c8050a114b36b40744bc3ad7d7b46d44a [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs