diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-12-12 17:39:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-12-12 17:39:52 +0000 |
| commit | 9b1dd86f0bcb9aa41ca3fded5e79a7581d127391 (patch) | |
| tree | 27c110751f006a831e9fbdde4707b3dffa29a33d /src/doc/ps/3DOptvB.ps | |
| parent | 2583edf6b172ea98d700773df5f51761aee01692 (diff) | |
| download | open-axiom-9b1dd86f0bcb9aa41ca3fded5e79a7581d127391.tar.gz | |
* boot/ast.boot (bfIS1): Tidy.
Diffstat (limited to 'src/doc/ps/3DOptvB.ps')
0 files changed, 0 insertions, 0 deletions