annotate .externalToolBuilders/org.eclipse.wst.validation.validationbuilder.launch @ 2:38d823b66aff default tip

minor
author dwinter
date Mon, 17 Sep 2012 16:42:53 +0200
parents 2267d8c80a99
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
dwinter
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
dwinter
parents:
diff changeset
2 <launchConfiguration type="org.eclipse.ant.AntBuilderLaunchConfigurationType">
dwinter
parents:
diff changeset
3 <booleanAttribute key="org.eclipse.ui.externaltools.ATTR_BUILDER_ENABLED" value="false"/>
dwinter
parents:
diff changeset
4 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_DISABLED_BUILDER" value="org.eclipse.wst.validation.validationbuilder"/>
dwinter
parents:
diff changeset
5 <mapAttribute key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS"/>
dwinter
parents:
diff changeset
6 <booleanAttribute key="org.eclipse.ui.externaltools.ATTR_TRIGGERS_CONFIGURED" value="true"/>
dwinter
parents:
diff changeset
7 </launchConfiguration>