Gitiles
Code Review Sign In
git.eclipse.org / graphiti / org.eclipse.graphiti / 8d455ef5ec57f4c222d173f121dfbb97d4e799cf / plugins / org.eclipse.graphiti.pattern / .settings
  1. 857c605 Hide some irrelevant html and xml warnings by mwenz · 13 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. 234dbe6 Further Graphiti default settings as project specific settings by mwenz · 13 years ago
  7. f67359a Added project specific settings for Graphiti standard settings by mwenz · 13 years ago
  8. 1f17171 Bug 336828: patterns should support delete, remove, direct editing and conditional palette creation entry by mwenz · 14 years ago
  9. 815fa78 Set Java compliance level to 1.6 to avoid errors for override tags when global setting is 1.5 by mwenz · 14 years ago
  10. b5dc2f9 Initial coding contribution by mwenz · 14 years ago