summaryrefslogtreecommitdiff
path: root/Mach
diff options
context:
space:
mode:
authorOgnyan Kulev <ogi@fmi.uni-sofia.bg>2005-06-18 03:31:42 +0000
committerOgnyan Kulev <ogi@fmi.uni-sofia.bg>2005-06-18 03:31:42 +0000
commit963794d387d220368d03fbcd644c9d11fe16a8f3 (patch)
treee1b5935fc46f2c161d80008a0c42f68816a0cf93 /Mach
parent2b3de17a3cb28206cfea5b751833bc51de854aee (diff)
none
Diffstat (limited to 'Mach')
-rw-r--r--Mach/WebHome.mdwn5
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>