diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-10 15:53:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-10 15:53:24 +0000 |
| commit | a1bb5cce1d72ad7b20b2aa873fb08b372fc1fe45 (patch) | |
| tree | c2b9d9aa151513014dbcb83b37fe799f90aee308 /src/lib | |
| parent | e72ded0c7d7fdf5da10fe57f806fde5314cf79c5 (diff) | |
| download | open-axiom-a1bb5cce1d72ad7b20b2aa873fb08b372fc1fe45.tar.gz | |
* interp/database.boot (addConsDB): Move from mapConsDB.
* interp/nruncomp.boot (mapConsDB): Remove.
(catList2catPackageList): Likewise.
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions