| commit | 66298f10dfb8ac8898ecd80daa86c70de4fdef3d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 03 13:05:18 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 03 13:05:18 2001 +0000 |
| tree | 84b4cca20e77e1880d48548b6e9344a17f9546b2 | |
| parent | fffd7224dffd0a0dea0df3d47b821e7880aca695 [diff] |
Regenerated for new description stuff.