diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-19 05:45:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-19 05:45:17 +0000 |
| commit | f45c26f83b716c30b170f0c10f85b5cdbeece980 (patch) | |
| tree | ce6132d61b3697ee19db77ae0331351d76248191 /Makefile.in | |
| parent | 4e8ffca8b200d962e1f87191a7015bdc27b8610e (diff) | |
| download | open-axiom-f45c26f83b716c30b170f0c10f85b5cdbeece980.tar.gz | |
* interp/database.boot (pathToDatabase): Honor $verbose.
* interp/compiler.boot (COMP-1): Likewise.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions