diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-07-05 21:52:49 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-07-05 21:52:49 +1000 |
| commit | 52eb6622ee81c50dd41cfbc8ba53cc210c0e9b1e (patch) | |
| tree | ce023c1386443df762d73795e1c1c9615da00887 /src/preferences.adb | |
| parent | fd71b0e74f89a7eb31e2a80a1b47614c2a59569f (diff) | |
Simplified Bundle_Containers to use an array instead of a Map
Diffstat (limited to 'src/preferences.adb')
0 files changed, 0 insertions, 0 deletions