| commit | 1da6eb091aaa8bddbc27241200793b68d5eed3bc | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 30 21:29:57 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Aug 30 21:29:57 2001 +0000 |
| tree | 95c3a73b29691bbb8aaae335b9b58a2d531a1304 | |
| parent | ba0ba411d1c320a85cac2b2f662a0faa52e12463 [diff] |
Superseded by the (generated) xx.mcp.