[josm-plugins] 60/369: Deleted usertools from master.xml
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 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
More information about the Pkg-grass-devel
mailing list