path: root/src/preferences.adb

package body Preferences is


end Preferences;