| commit | f7fb3e6435035376af978b1d4249a744125aac8f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 28 15:53:18 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 28 15:53:18 2001 +0000 |
| tree | 72c8a2924f67cff0b581ebc7dc3a9d79330f2a83 | |
| parent | 72b97aed809fd01365512c9c176c6f91a98d587d [diff] |
Oops, need to import Res.