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 eaa989c..f563b47 100755 --- a/htdocs/source/index.html +++ b/htdocs/source/index.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: index.html,v 1.32 2004-09-15 17:41:50 ville Exp $" ---><!--#set var="date" value="\$Date: 2004-09-15 17:41:50 $" +<!--#set var="revision" value="\$Id: index.html,v 1.33 2004-09-15 18:20:28 ville Exp $" +--><!--#set var="date" value="\$Date: 2004-09-15 18:20:28 $" --><!--#set var="title" value="Source Code Availability for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -139,7 +139,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_6-release validator</kbd> + bash$ <kbd>cvs get -r validator-0_6_7-release validator</kbd> cvs server: Updating validator cvs server: Updating validator/htdocs U validator/htdocs/about.html |