diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-12 10:51:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-12 10:51:40 +0000 |
| commit | 10244e3b6dcf312f45105ac531a24bcdc1af9302 (patch) | |
| tree | bd1f6125e0bd688fd346228801a62d707527c9c2 /src/utils | |
| parent | 64f0a156dfc38090a2809fce96f4ea580b0d12d9 (diff) | |
| download | open-axiom-10244e3b6dcf312f45105ac531a24bcdc1af9302.tar.gz | |
* interp/g-opt.boot (optList): Tidy.
Diffstat (limited to 'src/utils')
0 files changed, 0 insertions, 0 deletions