Changeset 443 in josm for trunk/src/org/openstreetmap

Timestamp:

2007-10-30T22:29:29+01:00 (17 years ago)

Author:

framm

Message:

• fix minor build problem with ServerSidePreferences after r442

File:

• trunk/src/org/openstreetmap/josm/data/ServerSidePreferences.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/ServerSidePreferences.java

@@ -109 +109 @@
          * Do nothing on save. Preferences are uploaded using upload().
          */
-        @Override protected void save() {
+        @Override public void save() {
         }