From 09a4690706d2b54d36f40ce14e74f8312e56c3ae Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 20 Jun 2017 22:49:50 +0200
Subject: [PATCH] eclipse: ignore the build directory

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

diff --git a/.project b/.project
index 30eb9741b0..d3a09b65d8 100644
--- a/.project
+++ b/.project
@@ -30,4 +30,15 @@
 		<nature>org.eclipse.cdt.managedbuilder.core.ScannerConfigNature</nature>
 		<nature>org.python.pydev.pythonNature</nature>
 	</natures>
+	<filteredResources>
+		<filter>
+			<id>1497970923386</id>
+			<name></name>
+			<type>30</type>
+			<matcher>
+				<id>org.eclipse.ui.ide.multiFilter</id>
+				<arguments>1.0-name-matches-false-false-build</arguments>
+			</matcher>
+		</filter>
+	</filteredResources>
 </projectDescription>
-- 
2.20.1