Changeset 18723 in josm for trunk/src/org/openstreetmap/josm/data/sources/SourcePreferenceEntry.java
- Timestamp:
- 2023-05-10T19:18:54+02:00 (2 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/sources/SourcePreferenceEntry.java
r16545 r18723 4 4 import java.util.Map; 5 5 6 import ja vax.json.stream.JsonCollectors;6 import jakarta.json.stream.JsonCollectors; 7 7 8 8 import org.openstreetmap.josm.data.StructUtils.StructEntry;
Note:
See TracChangeset
for help on using the changeset viewer.