summaryrefslogtreecommitdiff
path: root/_default/WebHome.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-08-12 15:49:12 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-08-12 15:49:12 +0200
commitb0ba06fd4d46d1b71a9f7d9d8bab8ecf3ab64cd5 (patch)
tree8a3bd249f5d3b94044b39b946744134fbcc24bb4 /_default/WebHome.mdwn
parent8aa036e7556a8c54a08c6e19cbe93481da0bb575 (diff)
Remove WebSearch.
Diffstat (limited to '_default/WebHome.mdwn')
-rw-r--r--_default/WebHome.mdwn1
1 files changed, 0 insertions, 1 deletions
diff --git a/_default/WebHome.mdwn b/_default/WebHome.mdwn
index a7f98473..2c00610d 100644
--- a/_default/WebHome.mdwn
+++ b/_default/WebHome.mdwn
@@ -7,7 +7,6 @@ Welcome to the home of **%WIKITOOLNAME%.%WEB%**. This is a web-based collaborati
<form action="%SCRIPTURLPATH%/search%SCRIPTSUFFIX%/%WEB%/SearchResult">
<ul>
- <li><input name="search" size="32" type="text" /> <input type="submit" value="Search" />    (More options in [[WebSearch]]) </li>
<li>[[WebChanges]]: Find out recent modifications to the %WIKITOOLNAME%.%WEB% web. </li>
<li>[[WebIndex]]: Display all %WIKITOOLNAME%.%WEB% topics in alphabetical order. See also the faster [[WebTopicList]]</li>
<li> %NOTIFYTOPIC%: Subscribe to be automatically notified when something changes in the %WIKITOOLNAME%.%WEB% web. </li>