| commit | 2120d12265ee5d5e824179c796e2fb2229906e0b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 27 16:19:07 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 27 16:19:07 1995 +0000 |
| tree | f1deab6d07bf371edc7773ad6c40737a38cc13df | |
| parent | 16df2aa57b32efa890d83f9c7f34c27d8c2cc742 [diff] |
In interactive mode ask for output file