Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / fc9bd621343156b7c58bf22ab6b2f3d68db835b5 / examples / org.eclipse.graphiti.ui.capabilities / .settings / org.eclipse.jdt.ui.prefs
  1. 234dbe6 Further Graphiti default settings as project specific settings by mwenz ยท 13 years ago