diff options
author | dos-reis <gdr@axiomatics.org> | 2012-02-13 01:26:03 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-02-13 01:26:03 +0000 |
commit | f4aa1ea69dc5e7f8d30c193db03dc35fa8313152 (patch) | |
tree | 92de12d12182816fd23b949703c86c7fb1318187 /contrib/README | |
parent | 5d7c7d1ece28d03ef06fcfe69e7128145bb27644 (diff) | |
download | open-axiom-f4aa1ea69dc5e7f8d30c193db03dc35fa8313152.tar.gz |
* interp/define.boot (NRTcatCompare): Remove.
(NRTmakeCategoryAlist): Don't call NRTcatCompare. Tidy.
Diffstat (limited to 'contrib/README')
0 files changed, 0 insertions, 0 deletions