summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Thoeny <web-hurd@gnu.org>2001-08-08 05:23:02 +0000
committerPeter Thoeny <web-hurd@gnu.org>2001-08-08 05:23:02 +0000
commit2213a9eae39171846eb0bdaf9dfa8eccb5460e5f (patch)
tree29b1e935e67ad94ced641a0bfdbd681c3aa5889d
parent95bd4dc5589e0e3c55ce86585731e1b6979955eb (diff)
none
-rw-r--r--Hug/WebIndex.mdwn1
1 files changed, 1 insertions, 0 deletions
diff --git a/Hug/WebIndex.mdwn b/Hug/WebIndex.mdwn
new file mode 100644
index 00000000..0424db20
--- /dev/null
+++ b/Hug/WebIndex.mdwn
@@ -0,0 +1 @@
+%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}%