diff options
author | Ognyan Kulev <ogi@fmi.uni-sofia.bg> | 2005-06-18 03:31:42 +0000 |
---|---|---|
committer | Ognyan Kulev <ogi@fmi.uni-sofia.bg> | 2005-06-18 03:31:42 +0000 |
commit | 963794d387d220368d03fbcd644c9d11fe16a8f3 (patch) | |
tree | e1b5935fc46f2c161d80008a0c42f68816a0cf93 /Mach | |
parent | 2b3de17a3cb28206cfea5b751833bc51de854aee (diff) |
none
Diffstat (limited to 'Mach')
-rw-r--r-- | Mach/WebHome.mdwn | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index 9e491d29..1c04251c 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -30,6 +30,11 @@ <p> </p> <ul> + <li><a href="http://foobar-qux.org:8080/hde/MACH_DOCS_PDFS/" target="_top">Documents about Mach</a></li> + </ul> + <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> </ul> <p> |