diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-09 11:48:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-09 11:48:18 +0000 |
commit | 4e8ea57821d8deaccd9ffb47ff7a4a7f505880c5 (patch) | |
tree | f7e96a404123b94dba4dba2b164d3293a37445b1 /src/include/extent2.H1 | |
parent | ddd0d01eed235ef965e622c982667eeb2eb528c8 (diff) | |
download | open-axiom-4e8ea57821d8deaccd9ffb47ff7a4a7f505880c5.tar.gz |
* interp/g-opt.boot (removeNeedlessThrow): Tidy.
Diffstat (limited to 'src/include/extent2.H1')
0 files changed, 0 insertions, 0 deletions