| commit | d7cccdd591346967d3c0c286b2e7e534435abc12 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jun 20 22:21:03 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jun 20 22:21:03 2003 +0000 |
| tree | c6e4a3a623371534f640f1d2af6c227b3d0b5e91 | |
| parent | 47db25278601d3f9bfedba533e1ba90080f2fbf2 [diff] |
Added a field that allows the user to set sys.argv-style arguments to the script. Fixes #757544.