diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2017-02-13 13:21:17 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2017-02-13 13:21:17 +1100 |
| commit | ea99441e0da927e5a40cf21311265c7e22974f12 (patch) | |
| tree | f824f30ab5f475f0f9b5e8a619a36dc81ea83284 /src/preferences.adb | |
| parent | 835c2dffc539e277812925469c82662482e1bbc5 (diff) | |
Preference dedupe removed, bignum library obtained from internet (will be replaced later)
Diffstat (limited to 'src/preferences.adb')
0 files changed, 0 insertions, 0 deletions