Filter out unnecessary exec files

diff --git a/.project b/.project
index 6d9ac59083f65c6b87bdb6a9ac05d9d3f09f9f22..780551523025eba0e4285058ad5b9a021b126663 100644 (file)
--- a/.project
+++ b/.project
@@ -8,4 +8,24 @@
        </buildSpec>
        <natures>
        </natures>
+       <filteredResources>
+               <filter>
+                       <id>1510764363977</id>
+                       <name>demo/exec</name>
+                       <type>30</type>
+                       <matcher>
+                               <id>org.eclipse.ui.ide.multiFilter</id>
+                               <arguments>1.0-name-matches-false-false-indexes</arguments>
+                       </matcher>
+               </filter>
+               <filter>
+                       <id>1510764363979</id>
+                       <name>demo/exec</name>
+                       <type>22</type>
+                       <matcher>
+                               <id>org.eclipse.ui.ide.multiFilter</id>
+                               <arguments>1.0-name-matches-false-false-repos</arguments>
+                       </matcher>
+               </filter>
+       </filteredResources>
 </projectDescription>