Google Git
Sign in
eclipse / uml2 / org.eclipse.uml2 / master / . / plugins / org.eclipse.uml2.uml.profile.standard / .settings
tree: 881d08b30967a6633fcfe03a6e46127df2ed1d00 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs