Rename "desirability" to "preference" (much less awkward), with the
[match/match.git] / .project
CommitLineData
d7d9561e
MM
1<?xml version="1.0" encoding="UTF-8"?>
2<projectDescription>
3 <name>match</name>
4 <comment></comment>
5 <projects>
6 </projects>
7 <buildSpec>
8 <buildCommand>
9 <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
10 <triggers>auto,full,incremental,</triggers>
11 <arguments>
12 <dictionary>
13 <key>LaunchConfigHandle</key>
affb6e6a 14 <value>&lt;project&gt;/.externalToolBuilders/make match program.launch</value>
d7d9561e
MM
15 </dictionary>
16 </arguments>
17 </buildCommand>
f3084293
MM
18 <buildCommand>
19 <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
20 <triggers>auto,full,incremental,</triggers>
21 <arguments>
22 <dictionary>
23 <key>LaunchConfigHandle</key>
24 <value>&lt;project&gt;/.externalToolBuilders/make match paper.launch</value>
25 </dictionary>
26 </arguments>
27 </buildCommand>
d7d9561e
MM
28 </buildSpec>
29 <natures>
30 </natures>
f3084293
MM
31 <filteredResources>
32 <filter>
33 <id>0</id>
34 <name></name>
35 <type>10</type>
36 <matcher>
37 <id>org.eclipse.ui.ide.multiFilter</id>
38 <arguments>1.0-name-matches-true-false-.git</arguments>
39 </matcher>
40 </filter>
41 </filteredResources>
d7d9561e 42</projectDescription>