Add a slightly cleaned-up version of the paper, superseding the "notes"

[match/match.git] / .project

diff --git a/.project b/.project
index 165f368..00459f2 100644 (file)
--- a/.project
+++ b/.project
@@ -15,14 +15,28 @@
                                </dictionary>
                        </arguments>
                </buildCommand>
+               <buildCommand>
+                       <name>org.eclipse.ui.externaltools.ExternalToolBuilder</name>
+                       <triggers>auto,full,incremental,</triggers>
+                       <arguments>
+                               <dictionary>
+                                       <key>LaunchConfigHandle</key>
+                                       <value>&lt;project&gt;/.externalToolBuilders/make match paper.launch</value>
+                               </dictionary>
+                       </arguments>
+               </buildCommand>
        </buildSpec>
        <natures>
        </natures>
-       <linkedResources>
-               <link>
-                       <name>.git</name>
-                       <type>2</type>
-                       <location>/home/matt/Emptydir</location>
-               </link>
-       </linkedResources>
+       <filteredResources>
+               <filter>
+                       <id>0</id>
+                       <name></name>
+                       <type>10</type>
+                       <matcher>
+                               <id>org.eclipse.ui.ide.multiFilter</id>
+                               <arguments>1.0-name-matches-true-false-.git</arguments>
+                       </matcher>
+               </filter>
+       </filteredResources>
 </projectDescription>