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/DistribWebMenu.mdwn | |
| parent | 341df0712087bb395fad68869a3ded8784303357 (diff) | |
Clean Trash/.
Diffstat (limited to 'Trash/DistribWebMenu.mdwn')
| -rw-r--r-- | Trash/DistribWebMenu.mdwn | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Trash/DistribWebMenu.mdwn b/Trash/DistribWebMenu.mdwn deleted file mode 100644 index 2798f677..00000000 --- a/Trash/DistribWebMenu.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"\}% - -%WEB\{name="GNU" home="GNU"\}% - -%WEB\{name="Distrib" home="Distrib"\}% Items here will soon be listed as percentITEMopenbracename="About" topic="TheGnuHurd"closebracepercent - -%WEB\{name="Mach" home="Mach"\}% - -%WEB\{name="Mig" home="Mig"\}% - -%WEB\{name="Main" home="Main"\}% - -%WEB\{name="TWiki" home="TWiki"\}% |