diff options
| -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 2b28caf..8be26ee 100755 --- a/htdocs/docs/users.html +++ b/htdocs/docs/users.html @@ -1,5 +1,5 @@ -<!--#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="revision" value="\$Id: users.html,v 1.11 2002-11-07 04:51:25 ot Exp $" +--><!--#set var="date" value="\$Date: 2002-11-07 04:51:25 $" --><!--#set var="title" value="User Documentation for The W3C MarkUp Validation Service" --><!--#set var="relroot" value="../" --><!--#include virtual="../header.html" --> @@ -243,6 +243,7 @@ </tr> </table> +</div> <div id="Installing" class="stb"> <h2>Installing a local Validator</h2> |