diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-30 01:40:03 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-30 01:40:03 +0000 |
| commit | 0d9c24084859d19eb5a97ecd1486be6264c728a3 (patch) | |
| tree | 9fd349c3f7ad08f1e935fc01a8a7d47b05b7dc04 /src/doc/ps/home.ps | |
| parent | de1dcbbf938c5468fc5803ddc0bcd595188fc9a3 (diff) | |
| download | open-axiom-0d9c24084859d19eb5a97ecd1486be6264c728a3.tar.gz | |
have the gui quit if the interpreter quits
Diffstat (limited to 'src/doc/ps/home.ps')
0 files changed, 0 insertions, 0 deletions