diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 15:49:12 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 15:49:12 +0200 |
| commit | b0ba06fd4d46d1b71a9f7d9d8bab8ecf3ab64cd5 (patch) | |
| tree | 8a3bd249f5d3b94044b39b946744134fbcc24bb4 /Hug/WebHome.mdwn | |
| parent | 8aa036e7556a8c54a08c6e19cbe93481da0bb575 (diff) | |
Remove WebSearch.
Diffstat (limited to 'Hug/WebHome.mdwn')
| -rw-r--r-- | Hug/WebHome.mdwn | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Hug/WebHome.mdwn b/Hug/WebHome.mdwn index a6d7d501..076af40c 100644 --- a/Hug/WebHome.mdwn +++ b/Hug/WebHome.mdwn @@ -31,8 +31,6 @@ Welcome to the home of **%WIKITOOLNAME%.%WEB%**. This is a web-based collaborati <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 <span style="background:"><font color="">Web Search</font></span><a href="http://LOCATION/WebSearch">?</a></font><br /> <p> Here, Web refers to the Main Web. </p> <p> </p> |