Google Git
Sign in
eclipse / mdht / org.eclipse.mdht / 80fc1815ca66b760d810bbb4c816698b2f13edad / . / core / plugins / org.eclipse.mdht.uml.ui.navigator / .settings
tree: 373a0cd74615dd43d63d5b839d53ac5ea2ca405b [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.m2e.core.prefs