| commit | 2519cc8eace81dbdd94a5c7dc6bed47a6863f339 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 23:52:19 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 13 23:52:19 2002 +0000 |
| tree | a86224e991c10cea421d6a7b16861c23a13cc7b7 | |
| parent | 9ea729c624224a98414a8cc1faddbf8ffa4a55ed [diff] |
Got rid of interpreter-internal dialogs. Tweaked GetArgv() dialog to look better on OSX.