Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 71800dfdd99ada9b92dab69f2183a0d0101e56cb / plugins / org.eclipse.graphiti.export.batik / .settings / org.eclipse.jdt.core.prefs
  1. 71800df Bug 418333 - Graphiti needs to switch BREE to Java 6 by Michael Wenz · 11 years ago
  2. 2d6f1a9 Bug 361932: Set compiler settings to Java 1.5, enforce JDK 1.5 installed by mwenz · 13 years ago
  3. 12cfd2b Bug 361932 - Ignore not strictly compatible JDK on build path by mwenz · 13 years ago
  4. 4ddf352 Bug 361932 - Use API tooling to enforce Java 1.5 compatibility by mwenz · 13 years ago
  5. ce4a132 Bug 361932 - Switch Runtime compatibility to Java 1.5 (1.5 BREE, by mwenz · 13 years ago
  6. f67359a Added project specific settings for Graphiti standard settings by mwenz · 13 years ago
  7. 236bd34 plug-in enabling svg export by tkaiser · 14 years ago