diff options
Diffstat (limited to 'htdocs/docs/users.html')
| -rwxr-xr-x | htdocs/docs/users.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html index 739ef10..2b28caf 100755 --- a/htdocs/docs/users.html +++ b/htdocs/docs/users.html @@ -1,10 +1,10 @@ -<!--#set var="revision" value="\$Id: users.html,v 1.9 2002-11-06 02:45:20 ot Exp $" ---><!--#set var="date" value="\$Date: 2002-11-06 02:45:20 $" +<!--#set var="revision" value="\$Id: users.html,v 1.10 2002-11-07 03:25:24 ot Exp $" +--><!--#set var="date" value="\$Date: 2002-11-07 03:25:24 $" --><!--#set var="title" value="User Documentation for The W3C MarkUp Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> <div id="toc"> - <h2 id="tableofcontents">Table of contents</h2> + <h2 id="TableOfContents">Table of contents</h2> <ul> <li><a href="#Quickstart">Quick Start</a></li> <li><a href="#Introduction">Introduction</a></li> @@ -14,7 +14,7 @@ <li><a href="#CommaTools">Comma Tools</a></li> <li><a href="#Installing">Installing the Markup Validator Locally</a></li> </ul> - + </div> <div id="Quickstart"> <h2 id="skip">Quick Start</h2> |