| commit | 0b60772ee9c32f9baa0d739aa603743ca9c511f6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 11 13:01:07 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 11 13:01:07 2001 +0000 |
| tree | e3d85c93956449df206b954efd1d3c89ef4b9a32 | |
| parent | be67f8a5bfbf7a79567a400fcd2fad324eb65dd6 [diff] |
- Removed the . in the extensions. - Allow any file to be dropped on the interpreter (for file args).