On Sat, 18 Dec 2004, Kris Jurka wrote:
> developer.patch
>
> Rename Tools to CVS and replace the dead interfaces repository with a
> link to instructions on how to retrieve the cvs repository.
This should point to the /current/ docs not /7.4/. My copy of the
database had an empty docs table which made it look like this
functionality didn't exist or was broken.
Kris Jurka