Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 5b33d58ba6e35b91a89cb98a466dcc8e184171bb / plugins / org.eclipse.graphiti.pattern / .settings / org.eclipse.pde.prefs
  1. 234dbe6 Further Graphiti default settings as project specific settings by mwenz ยท 13 years ago