| commit | c2e6dd81791db57eac4f6c1ab5088e93381ff1c7 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 12:34:42 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 14 12:34:42 1995 +0000 |
| tree | 4efc3e91fbc5fedcbb53e2489eea3eab25cb3627 | |
| parent | 56b14d4484e0d3ad9b6d186c3527c414e9a80d57 [diff] |
New file: list resource-ids in one place.