diff options
Diffstat (limited to 'Mig')
| -rw-r--r-- | Mig/WebHome.mdwn | 2 | ||||
| -rw-r--r-- | Mig/WebSearch.mdwn | 1 |
2 files changed, 0 insertions, 3 deletions
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> diff --git a/Mig/WebSearch.mdwn b/Mig/WebSearch.mdwn deleted file mode 100644 index b6d43d86..00000000 --- a/Mig/WebSearch.mdwn +++ /dev/null @@ -1 +0,0 @@ -%INCLUDE\{"%TWIKIWEB%.WebSearch"\}% |