Ignore:
Timestamp:
2019-07-07T20:57:16+02:00 (5 years ago)
Author:
donvip
Message:

see #josm13458 - rename logo.png to avoid clash with JOSM logo icon

Location:
applications/editors/josm/plugins/ejml
Files:
1 edited
1 moved

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/ejml/build.xml

    r32680 r35049  
    99    <property name="plugin.class" value="org.openstreetmap.josm.plugins.ejml.EjmlPlugin"/>
    1010    <property name="plugin.description" value="Provides the EJML library for other JOSM plugins. Not meant to be installed directly by users, but rather as a dependency for other plugins."/>
    11     <property name="plugin.icon" value="images/logo.png"/>
     11    <property name="plugin.icon" value="images/ejml.png"/>
    1212    <property name="plugin.canloadatruntime" value="true"/>
    1313    <property name="plugin.stage" value="15"/>
Note: See TracChangeset for help on using the changeset viewer.