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