diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 14:09:50 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 14:09:50 -0800 |
| commit | 9f2772a6d017e67ef9bd80b36bd3ab7c98e61894 (patch) | |
| tree | bdbeae3f1e4cfca0768caa4a654c6958e178db38 /src/scripts | |
| parent | 96eba08809f7d9416840fa1d600fa777c25f9f60 (diff) | |
| download | open-axiom-9f2772a6d017e67ef9bd80b36bd3ab7c98e61894.tar.gz | |
Small cleanup in define.boot
Diffstat (limited to 'src/scripts')
0 files changed, 0 insertions, 0 deletions