[josm-plugins] 62/369: usertools needs not to be cleaned (as it doesn't exist!)

Bas Couwenberg sebastic at xs4all.nl
Sat Oct 18 12:03:25 UTC 2014


This is an automated email from the git hooks/post-receive script.

sebastic-guest pushed a commit to branch master
in repository josm-plugins.

commit 4e94cf12577d1bcba5d22951d8feaa4609fbbafd
Author: Giovanni Mascellani <mascellani at poisson.phc.unipi.it>
Date:   Fri Apr 17 20:25:58 2009 +0000

    usertools needs not to be cleaned (as it doesn't exist!)
---
 debian/master.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/debian/master.xml b/debian/master.xml
index d21f58c..734d92a 100644
--- a/debian/master.xml
+++ b/debian/master.xml
@@ -66,7 +66,6 @@
         <ant dir="../openvisible"        antfile="build.xml" target="clean"/>
         <ant dir="../slippymap"          antfile="build.xml" target="clean"/>
         <ant dir="../surveyor"           antfile="build.xml" target="clean"/>
-        <ant dir="../usertools"          antfile="build.xml" target="clean"/>
         <ant dir="../utilsplugin"        antfile="build.xml" target="clean"/>
         <ant dir="../validator"          antfile="build.xml" target="clean"/>
         <ant dir="../wmsplugin"          antfile="build.xml" target="clean"/>

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-grass/josm-plugins.git



More information about the Pkg-grass-devel mailing list