diff options
Diffstat (limited to 'htdocs/docs/devel.html')
| -rwxr-xr-x | htdocs/docs/devel.html | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/htdocs/docs/devel.html b/htdocs/docs/devel.html index a39c70b..65300da 100755 --- a/htdocs/docs/devel.html +++ b/htdocs/docs/devel.html @@ -1,6 +1,4 @@ -<!--#set var="revision" value="\$Id: devel.html,v 1.18 2008-12-03 20:57:31 ot Exp $" ---><!--#set var="date" value="\$Date: 2008-12-03 20:57:31 $" ---><!--#set var="title" value="Developer Documentation for The W3C Markup Validation Service" +<!--#set var="title" value="Developer Documentation for The W3C Markup Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> |