Changeset 13193 in josm for trunk/src/org/openstreetmap/josm/plugins

Timestamp:

2017-12-03T21:28:02+01:00 (7 years ago)

Author:

Don-vip

Message:

see #15310 - deprecate Plugin.copy(String, String)

File:

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

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

@@ -175 +175 @@
      * does not exist but cannot be created, or cannot be opened for any other reason
      * @throws IOException if any other I/O error occurs
-     */
+     * @deprecated without replacement
+     */
+    @Deprecated
     public void copy(String from, String to) throws IOException {
         String pluginDirName = getPluginDir();