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/interp/database.boot | |
parent | 96eba08809f7d9416840fa1d600fa777c25f9f60 (diff) | |
download | open-axiom-9f2772a6d017e67ef9bd80b36bd3ab7c98e61894.tar.gz |
Small cleanup in define.boot
Diffstat (limited to 'src/interp/database.boot')
0 files changed, 0 insertions, 0 deletions