diff options
| author | Wade Walker <[email protected]> | 2015-07-05 17:11:38 -0500 |
|---|---|---|
| committer | Wade Walker <[email protected]> | 2015-07-06 17:04:12 -0500 |
| commit | e935256bf1ad44ceb2d9e3e63810f8d5017733be (patch) | |
| tree | 70d8ab829d425a78ef8eebde640bd50fa6a3bb05 /.externalToolBuilders/org.eclipse.jdt.core.javabuilder (2).launch | |
| parent | 858dbcb36211e743559070acc49043c21cde6636 (diff) | |
Fixed a variety of compilation and runtime errors
Fixed package change from javax.media to com.jogamp; fixed problems with
generics; fixed dead-code and similar warnings; fixed problem with struct
accessor on Julia3d using element offsets where it should have used byte
offsets; updated Eclipse project files
Diffstat (limited to '.externalToolBuilders/org.eclipse.jdt.core.javabuilder (2).launch')
| -rw-r--r-- | .externalToolBuilders/org.eclipse.jdt.core.javabuilder (2).launch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.externalToolBuilders/org.eclipse.jdt.core.javabuilder (2).launch b/.externalToolBuilders/org.eclipse.jdt.core.javabuilder (2).launch new file mode 100644 index 0000000..7fe64af --- /dev/null +++ b/.externalToolBuilders/org.eclipse.jdt.core.javabuilder (2).launch @@ -0,0 +1,7 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType"> +<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_BUILDER_ENABLED" value="false"/> +<stringAttribute key="org.eclipse.ui.externaltools.ATTR_DISABLED_BUILDER" value="org.eclipse.jdt.core.javabuilder"/> +<mapAttribute key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS"/> +<booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/> +</launchConfiguration> |