diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-08 21:32:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-08 21:32:25 +0000 |
commit | 646c4457e1cb8be5af3445c80b457518e0e4e47a (patch) | |
tree | 27e2a2e03dfc6c022608c5ea799cc8d6581de5cf /src/doc/ps | |
parent | c3efb458ecde8f2b30f5b51ebeda24fbaf894ce9 (diff) | |
download | open-axiom-646c4457e1cb8be5af3445c80b457518e0e4e47a.tar.gz |
* interp/buildom.boot: Don't cache instantiation of builtin
domains, as the comment at the top of the file says.
Diffstat (limited to 'src/doc/ps')
0 files changed, 0 insertions, 0 deletions