diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-13 23:53:48 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-13 23:53:48 +0000 |
| commit | 497f3b11ac5f486f73a1d4dd51669aeb0bb0b5fe (patch) | |
| tree | c9b837109db964a9e0e85093d66eaead6f367d74 /configure | |
| parent | 05f5f17e0fe28c0ed0be341e5c0916c9a0a996a6 (diff) | |
| download | open-axiom-497f3b11ac5f486f73a1d4dd51669aeb0bb0b5fe.tar.gz | |
* interp/category.boot (JoinInner): Tidy.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions