[josm-plugins] 60/369: Deleted usertools from master.xml

[Bas Couwenberg]

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 8e0ec82faabe24b0773b1b3d0e62b32c80a9a24b
Author: Giovanni Mascellani <mascellani at poisson.phc.unipi.it>
Date:   Sat Apr 4 23:34:35 2009 +0000

    Deleted usertools from master.xml
---
 debian/master.xml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/debian/master.xml b/debian/master.xml
index 9645f93..d21f58c 100644
--- a/debian/master.xml
+++ b/debian/master.xml
@@ -44,10 +44,6 @@
             <property name="plugin.jar"     value="${plugin.dist.dir}/surveyor.jar"/>
         </ant>
  
-        <ant dir="../usertools"   antfile="build.xml" target="dist">
-            <property name="plugin.jar"     value="${plugin.dist.dir}/usertools.jar"/>
-        </ant>
- 
         <ant dir="../utilsplugin"   antfile="build.xml" target="dist">
             <property name="plugin.jar"     value="${plugin.dist.dir}/utilsplugin.jar"/>
         </ant>

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