diff options
| -rwxr-xr-x | htdocs/about.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/htdocs/about.html b/htdocs/about.html index 8d22bff..6bef05c 100755 --- a/htdocs/about.html +++ b/htdocs/about.html @@ -1,5 +1,5 @@ -<!--#set var="revision" value="\$Id: about.html,v 1.29 2005-06-22 02:46:01 ot Exp $" ---><!--#set var="date" value="\$Date: 2005-06-22 02:46:01 $" +<!--#set var="revision" value="\$Id: about.html,v 1.30 2005-08-05 00:17:25 ot Exp $" +--><!--#set var="date" value="\$Date: 2005-08-05 00:17:25 $" --><!--#set var="title" value="About the W3C Markup Validation Service" --><!--#set var="relroot" value="./" --><!--#include virtual="header.html" --> @@ -200,6 +200,7 @@ <li><a href="http://bjoern.hoehrmann.de/">Björn Höhrmann</a></li> <li><a href="http://www.smith-family.com/">Christian Smith</a></li> <li><a href="http://www.w3.org/People/Connolly/">Dan Connolly</a></li> + <li><a href="http://www.tibbe-online.de/">David Tibbe</a></li> <li><a href="http://www.w3.org/People/Hugo/">Hugo Haas</a></li> <li><a href="http://www.jibbering.com/">Jim Ley</a></li> <li><a href="http://www.w3.org/People/karl/">Karl Dubost</a></li> |