From b9be2f9fe7537dfd6b3791acee2ab2980406a9b3 Mon Sep 17 00:00:00 2001
From: Mathieu Baudier <mbaudier@argeo.org>
Date: Wed, 15 Nov 2017 21:36:48 +0100
Subject: [PATCH] Filter out unnecessary exec files

---
 .project | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/.project b/.project
index 6d9ac5908..780551523 100644
--- 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>
-- 
2.30.2