diff options
Diffstat (limited to 'htdocs/docs/index.html')
| -rwxr-xr-x | htdocs/docs/index.html | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/htdocs/docs/index.html b/htdocs/docs/index.html index 4988fe8..a9e6605 100755 --- a/htdocs/docs/index.html +++ b/htdocs/docs/index.html @@ -1,6 +1,4 @@ -<!--#set var="revision" value="\$Id: index.html,v 1.15 2007-07-18 03:40:16 ot Exp $" ---><!--#set var="date" value="\$Date: 2007-07-18 03:40:16 $" ---><!--#set var="title" value="Documentation Index for The W3C Markup Validation Service" +<!--#set var="title" value="Documentation Index for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> |