diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 16:15:17 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 16:15:17 +0200 |
commit | d7a001b72a1e9c46839f036e4d2c78d8512be714 (patch) | |
tree | c501d4121a483e76fbdb1e9a45e9e5fb0dbbea3d /Mig | |
parent | 14e1b40f645a6c14b91374f736b2c2f856d69e23 (diff) |
Remove WebIndex.
Diffstat (limited to 'Mig')
-rw-r--r-- | Mig/WebHome.mdwn | 16 | ||||
-rw-r--r-- | Mig/WebIndex.mdwn | 3 |
2 files changed, 0 insertions, 19 deletions
diff --git a/Mig/WebHome.mdwn b/Mig/WebHome.mdwn index ad2f0bf1..0d1d7368 100644 --- a/Mig/WebHome.mdwn +++ b/Mig/WebHome.mdwn @@ -22,22 +22,6 @@ The [[MachInterfaceGenerator]] (MIG) is a program which generates inter-process <p> </p> </td> - <td> - <p> - </p> - </td> - <td valign="top" width="35%"> - <p> - </p> - <p> Currently, Web refers to the Mig Web. </p> - <p> - </p> - <ul> - <li>[[WebIndex]] - alphabetical </li> - </ul> - <p> - </p> - </td> </tr> </table> </form> diff --git a/Mig/WebIndex.mdwn b/Mig/WebIndex.mdwn deleted file mode 100644 index 0732324b..00000000 --- a/Mig/WebIndex.mdwn +++ /dev/null @@ -1,3 +0,0 @@ -%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}% - -See also the faster [[WebTopicList]] |