diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-15 09:55:49 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-15 09:55:49 +0200 |
| commit | 1636e576934c7c34c52b4601a92e431ab7cc176f (patch) | |
| tree | c420460697f92ea715616dc6149ee8078154d667 /Trash/HurdWebMenu.mdwn | |
| parent | 341df0712087bb395fad68869a3ded8784303357 (diff) | |
Clean Trash/.
Diffstat (limited to 'Trash/HurdWebMenu.mdwn')
| -rw-r--r-- | Trash/HurdWebMenu.mdwn | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Trash/HurdWebMenu.mdwn b/Trash/HurdWebMenu.mdwn deleted file mode 100644 index adc55d1d..00000000 --- a/Trash/HurdWebMenu.mdwn +++ /dev/null @@ -1,19 +0,0 @@ -See the [[TWiki/WebMenuFormat]] for formatting tips. If you don't understand anything of this, or you screw things up entirely, don't worry. Simply email [[Main/JoachimNilsson]] and ask him to fix the menu. :) - -# Default items for this web - -* SET DEFAULTITEMS = - -%WEB\{name="Hurd" home="Hurd" expand="always"\}% %ITEM\{name="About" topic="TheGnuHurd"\}% %ITEM\{name="Documentation" topic="WebHome"\}% %ITEM\{name="Installation" topic="InstallNotes"\}% %ITEM\{name="Getting Help" topic="NewbieQuestions"\}% %ITEM\{name="Seen Hurd" topic="SeenHurd"\}% - -%WEB\{name="GNU" home="GNU"\}% %DEFAULTITEMS% - -%WEB\{name="Distrib" home="Distrib"\}% %DEFAULTITEMS% - -%WEB\{name="Mach" home="Mach"\}% %DEFAULTITEMS% - -%WEB\{name="Mig" home="Mig"\}% %DEFAULTITEMS% - -%WEB\{name="Main" home="Main"\}% %DEFAULTITEMS% - -%WEB\{name="TWiki" home="TWiki"\}% %DEFAULTITEMS% |