adjustgpx-gui/.externalToolBuilders/org.eclipse.jdt.core.javabuilder (1).launch at 0717e5f35196d2f5185f0d830701389882a2fac2

Fork: 0

haya4 / adjustgpx-gui

Find file

Newer

Older

adjustgpx-gui / .externalToolBuilders / org.eclipse.jdt.core.javabuilder (1).launch

haya4 on 6 Dec 2020 544 bytes eclipse

Raw Blame History

<?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>