From b0ba06fd4d46d1b71a9f7d9d8bab8ecf3ab64cd5 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Sun, 12 Aug 2007 15:49:12 +0200
Subject: Remove WebSearch.

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

(limited to 'Mig/WebHome.mdwn')

diff --git a/Mig/WebHome.mdwn b/Mig/WebHome.mdwn
index 928447b5..7aee6785 100644
--- a/Mig/WebHome.mdwn
+++ b/Mig/WebHome.mdwn
@@ -33,8 +33,6 @@ The [[MachInterfaceGenerator]] (MIG) is a program which generates inter-process
       <td valign="top" width="35%">
         <p>
         </p>
-        <p>
-        </p><input name="search" size="20" type="text" /> <input type="submit" value="Search %WEB%" /><br /><font size="-1">More search options in [[WebSearch]]</font><br />
         <p> Currently, Web refers to the Mig Web. </p>
         <p>
         </p>
-- 
cgit v1.2.3