| commit | 8ba0e80117b57d45e39c3721ef032e7e901ccd16 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun May 25 22:00:17 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun May 25 22:00:17 2003 +0000 |
| tree | b7d468dce1abef5435bd605827d3020dcd3912d6 | |
| parent | 8d97b9bd36ad3437c2594deecf8b778e5508b8c1 [diff] |
Added a --python option, which sets the python to be used in the #! line in the bootstrap script of the applet.