| commit | d21c9f48faec41614f99eb95c775cf0ff3fc532f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 29 21:17:57 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Mar 29 21:17:57 2002 +0000 |
| tree | b85f548b67a29877b71a16910fdc359e226b6d5d | |
| parent | 2cce33f3bdfa0f59c5e829fb556093c200c3c816 [diff] |
Re-raise the Res.Error if the file doesn't exist.