de.tub.citydb.api.plugin.extension.preferences
Interface PreferencesExtension


public interface PreferencesExtension


Method Summary
 Preferences getPreferences()
           
 

Method Detail

getPreferences

Preferences getPreferences()