2017-01-04 11:38:03 -06:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<projectDescription>
|
2017-04-04 21:59:28 -05:00
|
|
|
<name>TwosideKeeper</name>
|
2017-01-04 11:38:03 -06:00
|
|
|
<comment></comment>
|
|
|
|
<projects>
|
|
|
|
</projects>
|
|
|
|
<buildSpec>
|
2017-01-08 23:18:35 -06:00
|
|
|
<buildCommand>
|
|
|
|
<name>org.eclipse.jdt.core.javabuilder</name>
|
|
|
|
<arguments>
|
|
|
|
</arguments>
|
|
|
|
</buildCommand>
|
|
|
|
<buildCommand>
|
|
|
|
<name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
|
|
|
|
<triggers>full,incremental,</triggers>
|
|
|
|
<arguments>
|
|
|
|
<dictionary>
|
|
|
|
<key>LaunchConfigHandle</key>
|
|
|
|
<value><project>/.externalToolBuilders/New_Builder.launch</value>
|
|
|
|
</dictionary>
|
|
|
|
</arguments>
|
|
|
|
</buildCommand>
|
2017-01-04 11:38:03 -06:00
|
|
|
</buildSpec>
|
|
|
|
<natures>
|
2017-01-08 23:18:35 -06:00
|
|
|
<nature>org.eclipse.jdt.core.javanature</nature>
|
2017-01-04 11:38:03 -06:00
|
|
|
</natures>
|
2017-04-03 23:45:45 -05:00
|
|
|
<linkedResources>
|
|
|
|
<link>
|
|
|
|
<name>jgrapht</name>
|
|
|
|
<type>2</type>
|
|
|
|
<location>D:/Data/jgrapht-1.0.1/jgrapht-1.0.1/source/jgrapht-core/src/main/java</location>
|
|
|
|
</link>
|
|
|
|
</linkedResources>
|
2017-01-04 11:38:03 -06:00
|
|
|
</projectDescription>
|