diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-20 23:59:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 23:59:34 +0000 |
| commit | e30c70e6661aff69dcf8f4752ed6679e4ce41fcf (patch) | |
| tree | d16c80395a4ac15b1aff3cc7299705347aeb5053 /AUTHORS | |
| parent | 63f62dc654697c60cfcf98d9fba5c7e1616061b0 (diff) | |
| download | open-axiom-e30c70e6661aff69dcf8f4752ed6679e4ce41fcf.tar.gz | |
* interp/database.boot (getConstructorAbbreviationFromDB): Use DB
data structure directtly.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions