diff options
Diffstat (limited to 'src/preferences.adb')
| -rw-r--r-- | src/preferences.adb | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/preferences.adb b/src/preferences.adb index 7dd6c95..36cc5ea 100644 --- a/src/preferences.adb +++ b/src/preferences.adb @@ -1,15 +1,9 @@ -with Ada.Strings.Unbounded; -with Ada.Strings.Maps; +with - --- This source is licensed under Creative Commons CC0 v1.0. --- --- To read the full text, see license.txt in the main directory of this repository --- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt --- --- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/ + Ada.Strings.Unbounded, + Ada.Strings.Maps; package body Preferences is |