From 14e1b40f645a6c14b91374f736b2c2f856d69e23 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Sun, 12 Aug 2007 16:10:05 +0200
Subject: Remove the WebPreferences, keep the logos from there.

---
 Hug/WebHome.mdwn | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Hug/WebHome.mdwn')

diff --git a/Hug/WebHome.mdwn b/Hug/WebHome.mdwn
index e84e073a..79a44659 100644
--- a/Hug/WebHome.mdwn
+++ b/Hug/WebHome.mdwn
@@ -38,7 +38,6 @@ Welcome to the home of **%WIKITOOLNAME%.%WEB%**. This is a web-based collaborati
           <li><span style="background:"><font color="">Web Index</font></span><a href="http://LOCATION/WebIndex">?</a> - alphabetical </li>
             </ul>
           </li>
-          <li><span style="background:"><font color="">Web Preferences</font></span><a href="http://LOCATION/WebPreferences">?</a> - settings </li>
         </ul>
         <p>
         </p>
-- 
cgit v1.2.3