Changeset 6232 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2013-09-11T00:58:39+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java
r6085 r6232 184 184 if(s != null) { 185 185 try { 186 URL url =new URL(s);186 new URL(s); 187 187 } catch (MalformedURLException e) { 188 188 System.out.println(tr("Invalid URL ''{0}'' in plugin {1}", s, name));
Note:
See TracChangeset
for help on using the changeset viewer.