Changeset 5176 in osm for applications/editors

Timestamp:

2007-10-25T23:25:28+02:00 (17 years ago)

Author:

ulf

Message:

plugin.jar must be deleted with "file", not with "dir"

File:

• applications/editors/josm/plugins/navigator/build.xml (modified) (1 diff)

applications/editors/josm/plugins/navigator/build.xml

@@ -79 +79 @@
     <delete dir="${plugin.build.dir}" />
     <delete dir="${plugin.site.file}" />
-    <delete dir="${plugin.jar}" />
+    <delete file="${plugin.jar}" />
   </target>