summaryrefslogtreecommitdiff
path: root/Mach
diff options
context:
space:
mode:
authorPeter Thoeny <web-hurd@gnu.org>2001-11-24 11:41:09 +0000
committerPeter Thoeny <web-hurd@gnu.org>2001-11-24 11:41:09 +0000
commitd74b97450d3320f7f2cd16f09a241f0dd0861dae (patch)
treed3e98d60c4b4a1b4e3d230124e0d3f6f0fdf8cff /Mach
parent7c7044d9f060f4bb51441f7131ff6f94b42cc194 (diff)
none
Diffstat (limited to 'Mach')
-rw-r--r--Mach/WebIndex.mdwn2
1 files changed, 2 insertions, 0 deletions
diff --git a/Mach/WebIndex.mdwn b/Mach/WebIndex.mdwn
index 0424db20..0732324b 100644
--- a/Mach/WebIndex.mdwn
+++ b/Mach/WebIndex.mdwn
@@ -1 +1,3 @@
%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}%
+
+See also the faster [[WebTopicList]]