diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-05-26 23:34:40 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-05-26 23:34:40 +0000 |
| commit | 7e4ebdd6a80419d9b0d4236ca405520395fa320c (patch) | |
| tree | ebd8a3ca43fe1dabd3a2d0b4c4949b6cd2322e69 /devel.html | |
| parent | eaf0b53249d6fa673ca415a1c2bb3bf2f75a488b (diff) | |
Add new files mig.html and mig-download.html for MiG.
Add menu entries for these files to all other files.
Diffstat (limited to 'devel.html')
| -rw-r--r-- | devel.html | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -36,6 +36,10 @@ <A HREF="/software/hurd/gnumach-docs.html">Documentation</A><BR> <A HREF="/software/hurd/gnumach-install.html">Installation</A><BR> <A HREF="/software/hurd/gnumach-download.html">Source Code</A><BR> + <BR> +<A HREF="/software/hurd/mig.html"><STRONG>MiG</STRONG></A><BR> + <BR> +<A HREF="/software/hurd/mig-download.html">Source Code</A><BR> </TD> <TD ALIGN="LEFT" VALIGN="TOP"> <HR> |