| commit | a5d384dedf8f39113d20155d62289519a85ba5b8 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 03 22:36:42 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Dec 03 22:36:42 2000 +0000 |
| tree | c1ce6f6bc91a21f09279de8ce389a5b4064dcc91 | |
| parent | 6c502d7a81ba169a2c034e0b0aa3633489657c70 [diff] |
Updated for the new project names.