diff options
| author | ville <ville@localhost> | 2005-07-22 20:30:02 +0000 |
|---|---|---|
| committer | ville <ville@localhost> | 2005-07-22 20:30:02 +0000 |
| commit | b4b8e58d07f17ba7ae59dc19ff103e565aeccec7 (patch) | |
| tree | e60fbdd3ac09d2719b2f044d3414b6177c8199e2 /htdocs/source/index.html | |
| parent | 4796c2b9100b2518f7f31096692ff3918acf8d4e (diff) | |
| download | markup-validator-b4b8e58d07f17ba7ae59dc19ff103e565aeccec7.zip markup-validator-b4b8e58d07f17ba7ae59dc19ff103e565aeccec7.tar.gz markup-validator-b4b8e58d07f17ba7ae59dc19ff103e565aeccec7.tar.bz2 | |
Pascal Molli's CVS pages are no longer updated, link to cvshome docs instead.
Diffstat (limited to 'htdocs/source/index.html')
| -rwxr-xr-x | htdocs/source/index.html | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/htdocs/source/index.html b/htdocs/source/index.html index 2c27a70..cb9c99f 100755 --- a/htdocs/source/index.html +++ b/htdocs/source/index.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: index.html,v 1.35 2005-07-22 19:16:03 ville Exp $" ---><!--#set var="date" value="\$Date: 2005-07-22 19:16:03 $" +<!--#set var="revision" value="\$Id: index.html,v 1.36 2005-07-22 20:30:02 ville Exp $" +--><!--#set var="date" value="\$Date: 2005-07-22 20:30:02 $" --><!--#set var="title" value="Source Code Availability for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -126,10 +126,8 @@ patches to the code, you should install and become familiar with <a href="http://www.cvshome.org/">CVS</a>; this is the tool we use for revision control and is generally - a good thing to get to know. <a - href="http://www.loria.fr/~molli/cvs-index.html">More - information on CVS</a> is available courtesy of <a - href="http://www.loria.fr/~molli/">Pascal Molli</a>. + a good thing to <a href="http://www.cvshome.org/docs/">get to + know</a>. </p> <p> Our CVS base is available read-only, using CVS pserver |