| commit | a0fcd2580039d33f659bdcf26e62398d957b6c8c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 21 13:34:26 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 21 13:34:26 1999 +0000 |
| tree | f705233ad4155d47069a03b217aab9b726889699 | |
| parent | d9f5a39ef3c6f14c5b15d64049474a2b914a80d4 [diff] |
Don't qualify local symbols with aetools...