From 96d3ec9bb74f30dd8f2c90b91424ce059b0451e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Sat, 9 Mar 2013 18:19:08 +0000
Subject: [PATCH] - added cleaning up of mvn-repo
---
build.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/build.xml b/build.xml
index 58677e13..54164c7e 100644
--- a/build.xml
+++ b/build.xml
@@ -559,6 +559,7 @@
<ant dir="plugins/webcontent" target="clean" />
<ant dir="plugins/android" target="clean" />
<delete dir="examples/aligns"/>
+ <delete dir="mvn-repo"/>
<delete>
<fileset dir="classes" includes="**/*.class"/>
<fileset dir="examples" includes="**/*.class"/>
--
GitLab