diff options
Diffstat (limited to 'htdocs/docs/users.html')
| -rwxr-xr-x | htdocs/docs/users.html | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/htdocs/docs/users.html b/htdocs/docs/users.html index 209c662..6afd1e9 100755 --- a/htdocs/docs/users.html +++ b/htdocs/docs/users.html @@ -1,6 +1,4 @@ -<!--#set var="revision" value="\$Id: users.html,v 1.38 2009-12-06 18:20:41 ville Exp $" ---><!--#set var="date" value="\$Date: 2009-12-06 18:20:41 $" ---><!--#set var="title" value="User Documentation for The W3C Markup Validation Service" +<!--#set var="title" value="User Documentation for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> |