| commit | b135548d0d6fb390d2b1c64e9a0b3db6c2043346 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 18 23:28:05 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 18 23:28:05 2003 +0000 |
| tree | d2cfe7d891fb7defee7f61dc79b17a01e6b784ad | |
| parent | 443ada47c3e4ceedee9365e8caef43268154737c [diff] |
Argvemulator still used the old Alias API. Fixed.