diff options
| author | Sven Gothel <[email protected]> | 2011-09-14 06:48:28 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-09-14 06:48:28 +0200 |
| commit | 71f8b57305caad1cce7a6c9e42b282c8d863bdb7 (patch) | |
| tree | 72468ed75942180deb7f74af6e9da4d6f6d46867 /.externalToolBuilders/org.eclipse.jdt.core.javabuilder (1).launch | |
| parent | 5f0209064687b878c86a3f5d0cdf548c72cf78f9 (diff) | |
Add eclipse project files
Diffstat (limited to '.externalToolBuilders/org.eclipse.jdt.core.javabuilder (1).launch')
| -rw-r--r-- | .externalToolBuilders/org.eclipse.jdt.core.javabuilder (1).launch | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.externalToolBuilders/org.eclipse.jdt.core.javabuilder (1).launch b/.externalToolBuilders/org.eclipse.jdt.core.javabuilder (1).launch new file mode 100644 index 0000000..7fe64af --- /dev/null +++ b/.externalToolBuilders/org.eclipse.jdt.core.javabuilder (1).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> |