Changeset 5290 in josm

Timestamp:

Jun 21, 2012 12:03:05 AM (11 months 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")),
         });
     }