| commit | 4df3c5284f334fc77ffdf7cf7f32e6a93b787440 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 20 23:09:54 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Mar 20 23:09:54 2001 +0000 |
| tree | 7b3d5959d55bd35ad786f43706b9920dd2fe5593 | |
| parent | fddef433d1aa55d3f9d5cf78398c101f56c5e939 [diff] |
Case-checking was broken on the Macintosh. Fixed.