| commit | a2125fe523cc956f579b408450b32322e769f595 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Feb 16 23:03:04 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Feb 16 23:03:04 2003 +0000 |
| tree | 916bee83be601fa7d11129377cd1e1863e184ff6 | |
| parent | 9f70aabbf87c0e16029f3457a6b58e322e615b68 [diff] |
Better error messages and warnings.