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.

---
 Mig/WebHome.mdwn | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'Mig/WebHome.mdwn')

diff --git a/Mig/WebHome.mdwn b/Mig/WebHome.mdwn
index ca3b5275..ad2f0bf1 100644
--- a/Mig/WebHome.mdwn
+++ b/Mig/WebHome.mdwn
@@ -19,10 +19,6 @@ The [[MachInterfaceGenerator]] (MIG) is a program which generates inter-process
         </dl>
         <p>
         </p>
-        <dl>
-          <dt>[[WebPreferences]]</dt>
-          <dd> specific settings for this web </dd>
-        </dl>
         <p>
         </p>
       </td>
-- 
cgit v1.2.3