Ignore:
Timestamp:
2007-12-19T19:09:31+01:00 (17 years ago)
Author:
joerg
Message:

josm: move plugins/dist directory one level up

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r5197 r6100  
    66  <property name="josm"                 location="../../core/dist/josm-custom.jar" />
    77  <property name="plugin.build.dir"     value="build"/>
    8   <property name="plugin.dist.dir"      value="../dist"/>
     8  <property name="plugin.dist.dir"      value="../../dist"/>
    99  <property name="plugin.name"          value="${ant.project.name}"/>
    10   <property name="plugin.jar"           value="../dist/${plugin.name}.jar"/>
     10  <property name="plugin.jar"           value="../../dist/${plugin.name}.jar"/>
    1111 
    1212  <!-- plugin meta data (enter new version number if anything changed!) -->
Note: See TracChangeset for help on using the changeset viewer.