| commit | a5d7da528bda145426c50ad9ded8d0707d5f302c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 27 21:37:45 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 27 21:37:45 2001 +0000 |
| tree | 7fee2c970ecf6e3e2d7ad46cceae933315edcbcd | |
| parent | de3226f7f9cda4e6bb4c871c39b9bb2a3c00534a [diff] |
need() now returns the refno of the resource file opened, or None if the specified resource was already available and no file was opened.