| commit | 3d3b74677a440b00d94b6b4e71e7f2f97800c427 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 17 15:40:00 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 17 15:40:00 2003 +0000 |
| tree | 2c4a5eb90f1774999dad3f4127fffa52704a4b0d | |
| parent | 996acf122dbf8d9aa694a16a32ced065f5805cd2 [diff] |
Optionally honour #! paths in scripts. Fixes #676358.