diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-27 17:55:09 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-27 17:55:09 +0000 |
commit | df58c8db0c065f238f901ecba89827cc87d8c6bf (patch) | |
tree | d22d7b5040129b654428b9a057dff1a573b20e43 /STYLES | |
parent | aa1d5ca6c7483eb79d458291f96383d89468efdc (diff) | |
download | open-axiom-df58c8db0c065f238f901ecba89827cc87d8c6bf.tar.gz |
* interp/nruncomp.boot (NRTgetAddForm): Remove, as unused.
Diffstat (limited to 'STYLES')
0 files changed, 0 insertions, 0 deletions