Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 56ab126447df670337e4004a2e150302428c72c0 / . / plugins / org.eclipse.graphiti.mm / .settings
tree: d7054395687c0817a60f13a0cdb44d6b0a7779e3 [path history] [tgz]
  1. org.eclipse.core.resources.prefs