From 1182d3efe6e3fdfaa8c21d473e5c1d0c542cd242 Mon Sep 17 00:00:00 2001
From: Marc Baloup <marc.baloup@inria.fr>
Date: Tue, 9 Jul 2019 00:59:29 +0200
Subject: [PATCH] Fix jardesc file

---
 export.jardesc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/export.jardesc b/export.jardesc
index a126ffc..b8d8b95 100644
--- a/export.jardesc
+++ b/export.jardesc
@@ -13,5 +13,6 @@
     <selectedElements exportClassFiles="true" exportJavaFiles="false" exportOutputFolder="false">
         <javaElement handleIdentifier="=DiscoSheep/src"/>
         <javaElement handleIdentifier="=DiscoSheep/resources"/>
+        <javaElement handleIdentifier="=DiscoSheep/lib"/>
     </selectedElements>
 </jardesc>