From 275820ee41aa80eed7583b61f740e9e547ef5b7f Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 17 Dec 2013 14:21:34 +0000 Subject: [PATCH] Remove obsolete comment. --- tools/htdocs/index.html | 7 ------- 1 file changed, 7 deletions(-) diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html index 09f1ddf..fb34bd7 100644 --- a/tools/htdocs/index.html +++ b/tools/htdocs/index.html @@ -40,13 +40,6 @@ -- A stylesheet which styles only MasterKey widgets, and does not otherwise interfere with application-site's styles. -

For examples of how to use the widget-set, see:

-- 1.7.10.4