| commit | 1b8bd94f73d5da6e79b4a44c110a5ad6f9207086 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 14 23:01:34 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 14 23:01:34 2001 +0000 |
| tree | 782831a09288811c5d788c2d8e16298b9bda5d48 | |
| parent | 28f14012d7df8671f9526e0828a256ce3680441e [diff] |
The import of the scanner can also fail, cater for that.