diff options
Diffstat (limited to 'htdocs/source/index.html')
| -rwxr-xr-x | htdocs/source/index.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/htdocs/source/index.html b/htdocs/source/index.html index 6cd833c..6a596db 100755 --- a/htdocs/source/index.html +++ b/htdocs/source/index.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: index.html,v 1.37 2005-08-08 00:29:14 ot Exp $" ---><!--#set var="date" value="\$Date: 2005-08-08 00:29:14 $" +<!--#set var="revision" value="\$Id: index.html,v 1.38 2005-08-12 19:38:01 ville Exp $" +--><!--#set var="date" value="\$Date: 2005-08-12 19:38:01 $" --><!--#set var="title" value="Source Code Availability for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -138,7 +138,7 @@ bash$ <kbd>cvs login</kbd> (Logging in to anonymous@dev.w3.org) CVS password: <kbd>anonymous</kbd> - bash$ <kbd>cvs get -r validator-0_6_7-release validator</kbd> + bash$ <kbd>cvs get -r validator-0_7_0-release validator</kbd> cvs server: Updating validator cvs server: Updating validator/htdocs U validator/htdocs/about.html |