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 /Trash/WebIndex.mdwn | |
| parent | 14e1b40f645a6c14b91374f736b2c2f856d69e23 (diff) | |
Remove WebIndex.
Diffstat (limited to 'Trash/WebIndex.mdwn')
| -rw-r--r-- | Trash/WebIndex.mdwn | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Trash/WebIndex.mdwn b/Trash/WebIndex.mdwn deleted file mode 100644 index 0732324b..00000000 --- a/Trash/WebIndex.mdwn +++ /dev/null @@ -1,3 +0,0 @@ -%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}% - -See also the faster [[WebTopicList]] |