diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2006-03-10 23:28:00 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2006-03-10 23:28:00 +0000 |
commit | 5845644002868f0186ad5e813aa89fb8837208e0 (patch) | |
tree | afb03844d8ffe3a40f2d920de9c8852e963b01c3 /Mach | |
parent | 3c1a3c003bae5cd711edf5fd22c6afe73f936447 (diff) |
none
Diffstat (limited to 'Mach')
-rw-r--r-- | Mach/WebHome.mdwn | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index de4f7add..3c0b6230 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -35,7 +35,10 @@ <p> </p> <ul> - <li><span style="background:"><font color="">Gnu Mach</font></span><a href="http://LOCATION/GnuMach">?</a>: Stable GNUmach 1.3 kernel </li> + <li><span style="background:"><font color="">GNU Mach</font></span><a href="http://LOCATION/GNUMach">?</a>: Stable GNUmach 1.3 kernel <ul> + <li><span style="background:"><font color="">Building GNU Mach</font></span><a href="http://LOCATION/BuildingGNUMach">?</a></li> + </ul> + </li> </ul> <p> </p> |