Ignore:
Timestamp:
2023-08-22T17:40:36+02:00 (3 years ago)
Author:
taylor.smock
Message:

Use jakarta.json instead of java.json

This also fixes various lint issues

File:
1 edited

Legend:

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

    r35846 r36122  
    44    <property name="commit.message" value="Reverter: fix deleted/redacted relation members"/>
    55    <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
    6     <property name="plugin.main.version" value="18173"/>
     6    <property name="plugin.main.version" value="18723"/>
    77
    88    <!-- Configure these properties (replace "..." accordingly).
Note: See TracChangeset for help on using the changeset viewer.