Package jmri.managers

Class JmriUserPreferencesManager.PreferenceList

java.lang.Object
jmri.managers.JmriUserPreferencesManager.PreferenceList
Enclosing class:
JmriUserPreferencesManager

protected static final class JmriUserPreferencesManager.PreferenceList
extends Object