From 6d872f1e540fd4355fc3eae3b0f8033fef0decb0 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 11 Nov 2018 00:12:30 +0100
Subject: [PATCH] eclipse config file: there is some Java in this project

---
 .project | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.project b/.project
index 0566c612db..7ced027659 100644
--- a/.project
+++ b/.project
@@ -28,6 +28,7 @@
 		<nature>org.eclipse.cdt.core.ccnature</nature>
 		<nature>org.eclipse.cdt.managedbuilder.core.managedBuildNature</nature>
 		<nature>org.eclipse.cdt.managedbuilder.core.ScannerConfigNature</nature>
+                <nature>org.eclipse.jdt.core.javanature</nature>
 		<nature>org.python.pydev.pythonNature</nature>
 	</natures>
 	<filteredResources>
-- 
2.20.1