| commit | e31d3d66aa47253411c7059a6b0263f513266ecc | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 07 09:08:37 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 07 09:08:37 2000 +0000 |
| tree | b969917aa60810e22a663200fcbcd68f7050fb74 | |
| parent | a396a883aff2b218680f04a7f17db91bc940e94e [diff] |
Return a handle in stead of a resource.