Changeset 8745 in josm for trunk/src/org/openstreetmap

Timestamp:

2015-09-10T11:12:08+02:00 (9 years ago)

Author:

simon04

Message:

see #11428 - Deprecate mirrored_download plugin which is part of core

File:

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

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

@@ -127 +127 @@
             new DeprecatedPlugin("nearclick", tr("no longer required")),
             new DeprecatedPlugin("notes", IN_CORE),
+            new DeprecatedPlugin("mirrored_download", IN_CORE),
         });
     }