cvs.php / ViewVC

[Juergen Spitzmueller]

We should replace this page by svn.php.

Also, it would be cool if we would upgrade ViewVC so that we can browse the 
repository again (and have the links in the lyx-cvs mails again).

Jürgen