Changeset 8513 in josm for trunk/src/org/openstreetmap/josm/gui/help
- Timestamp:
- 2015-06-21T02:25:56+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/help/HelpContentReader.java
r8510 r8513 10 10 import java.nio.charset.StandardCharsets; 11 11 12 import org.openstreetmap.josm.Main; 12 13 import org.openstreetmap.josm.tools.Utils; 13 14 import org.openstreetmap.josm.tools.WikiReader; … … 62 63 } catch (IOException e1) { 63 64 // ignore 65 if (Main.isTraceEnabled()) { 66 Main.trace(e1.getMessage()); 67 } 64 68 } 65 69 }
Note:
See TracChangeset
for help on using the changeset viewer.