Changeset 10173 in josm for trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
- Timestamp:
- 2016-05-10T14:54:38+02:00 (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
r10121 r10173 310 310 @Override 311 311 public void setTicks(int ticks) { 312 // Not used 312 313 } 313 314
Note:
See TracChangeset
for help on using the changeset viewer.