Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 87cf117cdb84e29ae9492821265d014f2ed117c5 / . / plugins / org.eclipse.graphiti.mm / .settings
tree: b9f7e8018e611af69fc0f59b0c1e3c8534c9d29f [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs