Google Git
Sign in
eclipse / mdht / org.eclipse.mdht / e9712f77a1101a66074fc2c830cb9aab3e638a84 / . / 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