Changeset 15505 in josm

Timestamp:

2019-11-03T23:18:27+01:00 (5 years ago)

Author:

Don-vip

Message:

fix #10265 - deprecate gpxfilter plugin

File:

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

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

@@ -151 +151 @@
             new DeprecatedPlugin("plastic_laf", tr("no longer required")),
             new DeprecatedPlugin("osmarender", tr("no longer required")),
-            new DeprecatedPlugin("geojson", inCore)
+            new DeprecatedPlugin("geojson", inCore),
+            new DeprecatedPlugin("gpxfilter", inCore)
         );
     }