de.tub.citydb.api.plugin.extension.preferences
Interfaces
Preferences
PreferencesExtension
Classes
PreferencesEntry
Enums
PreferencesEvent