summaryrefslogtreecommitdiff
path: root/Mig/WebHome.mdwn
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-08-12 15:31:28 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-08-12 15:31:28 +0200
commitefc04e0c0115ecd3a2cf4adbecd9915a4cad8578 (patch)
treeffcb40f0c0d96bb4960774ac4614b116aec91630 /Mig/WebHome.mdwn
parent36399e56855e42d11002eae6d99979d046200949 (diff)
Remove WebNotify stuff. Such a service is currently not provided, but will eventually be re-introduced.
Diffstat (limited to 'Mig/WebHome.mdwn')
-rw-r--r--Mig/WebHome.mdwn1
1 files changed, 0 insertions, 1 deletions
diff --git a/Mig/WebHome.mdwn b/Mig/WebHome.mdwn
index 0d3cb3e4..069eaed8 100644
--- a/Mig/WebHome.mdwn
+++ b/Mig/WebHome.mdwn
@@ -46,7 +46,6 @@ The [[MachInterfaceGenerator]] (MIG) is a program which generates inter-process
<ul>
<li>[[WebIndex]] - alphabetical </li>
<li>[[WebChanges]] - by modification time </li>
- <li>[[WebNotify]] - email alerts </li>
</ul>
<p>
</p>