Changeset 2017 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/ServerAccessPreference.java
- Timestamp:
- 2009-08-30T19:07:24+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/ServerAccessPreference.java
r2015 r2017 2 2 package org.openstreetmap.josm.gui.preferences; 3 3 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 4 import org.openstreetmap.josm.io.CredentialsManager; 6 5 import org.openstreetmap.josm.io.OsmConnection; 7 import org.openstreetmap.josm.io.CredentialsManager;8 6 9 7 public class ServerAccessPreference implements PreferenceSetting {
Note:
See TracChangeset
for help on using the changeset viewer.