Ignore:
Timestamp:
2018-08-13T02:18:54+02:00 (6 years ago)
Author:
Don-vip
Message:

see #15229 - deprecate Main.parent and Main itself

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/preferences/CachedProperty.java

    r12881 r14153  
    22package org.openstreetmap.josm.data.preferences;
    33
     4import org.openstreetmap.josm.spi.preferences.Config;
    45import org.openstreetmap.josm.spi.preferences.PreferenceChangeEvent;
    56import org.openstreetmap.josm.spi.preferences.PreferenceChangedListener;
    6 import org.openstreetmap.josm.spi.preferences.Config;
    77
    88/**
Note: See TracChangeset for help on using the changeset viewer.