diff options
Diffstat (limited to 'GNU')
| -rw-r--r-- | GNU/WebHome.mdwn | 10 | ||||
| -rw-r--r-- | GNU/WebIndex.mdwn | 3 |
2 files changed, 0 insertions, 13 deletions
diff --git a/GNU/WebHome.mdwn b/GNU/WebHome.mdwn index 92f0ecab..ab1ba33f 100644 --- a/GNU/WebHome.mdwn +++ b/GNU/WebHome.mdwn @@ -45,16 +45,6 @@ GNU stands for GNU's Not Unix. It is a project announced in 1983 by [[RichardSta <p> </p> </td> - <td valign="top" width="35%"> - <p> - </p> - <p> Currently, Web refers to the GNU Web. </p> - <p> - </p> - <ul> - <li>[[WebIndex]] - alphabetical </li> - </ul> - </td> </tr> </table> </form> diff --git a/GNU/WebIndex.mdwn b/GNU/WebIndex.mdwn deleted file mode 100644 index 0732324b..00000000 --- a/GNU/WebIndex.mdwn +++ /dev/null @@ -1,3 +0,0 @@ -%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}% - -See also the faster [[WebTopicList]] |