| commit | ce4a132ea0547dd1303994883fdcffaa02824cd0 | [log] [tgz] |
|---|---|---|
| author | mwenz <michael.wenz@sap.com> | Wed Oct 26 14:01:28 2011 +0200 |
| committer | mwenz <michael.wenz@sap.com> | Wed Oct 26 14:01:28 2011 +0200 |
| tree | 7c0d45c6a99ae243f32350c13bfa3a03fb71b88a | |
| parent | 85c329ec26bd7c48a804c28b8b50b23c7e6bbb19 [diff] [blame] |
Bug 361932 - Switch Runtime compatibility to Java 1.5 (1.5 BREE, compiler compliance 1.6, class and source compatibility 1.5)
diff --git a/plugins/org.eclipse.graphiti.pattern/build.properties b/plugins/org.eclipse.graphiti.pattern/build.properties index bec87d9..afcddd5 100644 --- a/plugins/org.eclipse.graphiti.pattern/build.properties +++ b/plugins/org.eclipse.graphiti.pattern/build.properties
@@ -27,3 +27,4 @@ source.. = src/ output.. = bin/ src.includes = about.html +jre.compilation.profile = J2SE-1.5