diff options
Diffstat (limited to 'testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a3/build.properties')
| -rw-r--r-- | testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a3/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a3/build.properties b/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a3/build.properties index 0d3d3a745..596cbf8a7 100644 --- a/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a3/build.properties +++ b/testplugins/org.eclipse.objectteams.otdt.test.builder/workspace/Trac18a3/build.properties @@ -4,3 +4,4 @@ bin.includes = plugin.xml,\ META-INF/,\ .,\ icons/ +jre.compilation.profile=JavaSE-1.7 |