| commit | c256ece88c81ffc573c5a1e7f0e45e68a656ee29 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 03 13:09:27 1999 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 03 13:09:27 1999 +0000 |
| tree | bf1db37121a47c7e10e51bbc54b00c0fcd3b6e55 | |
| parent | 33a5d7e7512f2118b3840bacc07e72b1936c55fd [diff] |
Partly updated to reflect the new organization and the availability of CVS access. Will still need a bit of work when all plugins are separated, probably.