commit | 8bd7c56459ea9ada6ae0fe177fb471341cfe6416 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Dec 23 16:54:51 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Dec 23 16:54:51 1996 +0000 |
tree | 8e0f48b2951baa28b94af9ba60afe1845f67208b | |
parent | f85f052035d92fe2d33d4cf5e4a6111c33c23189 [diff] |
If sys.argv is empty ask for input file and output folder