diff options
Diffstat (limited to 'htdocs/docs/users.html')
| -rwxr-xr-x | htdocs/docs/users.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html index 1574ceb..d2cdd5e 100755 --- a/htdocs/docs/users.html +++ b/htdocs/docs/users.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: users.html,v 1.26 2006-11-15 08:02:46 ot Exp $" ---><!--#set var="date" value="\$Date: 2006-11-15 08:02:46 $" +<!--#set var="revision" value="\$Id: users.html,v 1.27 2007-07-09 04:56:26 ot Exp $" +--><!--#set var="date" value="\$Date: 2007-07-09 04:56:26 $" --><!--#set var="title" value="User Documentation for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -23,6 +23,7 @@ <ul> <li><a href="#Options">Options and Parameters</a></li> <li><a href="#Output">Output Formats</a></li> + <li><a href="api.html#http_headers">Using HTTP headers to know validation results</a></li> <li><a href="#deprecated_options">Deprecated options</a></li> </ul> </li> |