diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-02 10:22:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-02 10:22:43 +0000 |
| commit | 5b6ee712b35a1220b3ae9b422f5aa395ad6600cd (patch) | |
| tree | 8403d3d9a5e9d8a0bb076882fe230c1a4abe342d /src/interp/g-opt.boot | |
| parent | d7abce535075910edbd16db165588b6c99c37e77 (diff) | |
| download | open-axiom-5b6ee712b35a1220b3ae9b422f5aa395ad6600cd.tar.gz | |
* driver/utils.c (OPENAXIOM_DEFAULT_DRIVER): Can no longer be
openaxiom_unknown_driver.
(openaxiom_preprocess_arguments): If a file is specified, then it
is a script unless told otherwise.
Diffstat (limited to 'src/interp/g-opt.boot')
0 files changed, 0 insertions, 0 deletions