Changeset 10493 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

Timestamp:

2016-06-25T12:48:10+02:00 (8 years ago)

Author:

Don-vip

Message:

josm-geojson plugin renamed to geojson

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java

@@ -131 +131 @@
             new DeprecatedPlugin("trafficFlowDirection", tr("replaced by new {0} plugin", "ImproveOsm")),
             new DeprecatedPlugin("kendzi3d-jogl", tr("replaced by new {0} plugin", "jogl")),
+            new DeprecatedPlugin("josm-geojson", tr("replaced by new {0} plugin", "geojson")),
         });
     }