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