| commit | 6c3145985f53d0e9a641f52894d3da4fa7a895bc | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Dec 12 22:51:39 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Dec 12 22:51:39 2001 +0000 |
| tree | 79941cc1150e6e820ecd433e8485db18f499b992 | |
| parent | 3339fc94b3522c8f8fa52489f81859205c201b90 [diff] |
Shut up gcc warning.