Changeset 5290 in josm

Timestamp:

2012-06-21T00:03:05+02:00 (12 years ago)

Author:

simon04

Message:

fix #7608 - deprecate Epsg31287 plugin

File:

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

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

@@ -108 +108 @@
             new DeprecatedPlugin("ImproveWayAccuracy", IN_CORE),
             new DeprecatedPlugin("Curves", tr("replaced by new {0} plugin","utilsplugin2")),
+            new DeprecatedPlugin("epsg31287", tr("replaced by new {0} plugin", "proj4j")),
         });
     }