diff options
| author | Joachim Nilsson <joachim@gnufans.org> | 2002-11-05 11:13:51 +0000 |
|---|---|---|
| committer | Joachim Nilsson <joachim@gnufans.org> | 2002-11-05 11:13:51 +0000 |
| commit | 51a57449ff1064e9c345564520e7362c7e2da890 (patch) | |
| tree | 61a691e8cd06bc7f31b2944fff5f49e3d5c1efc7 | |
| parent | 4561f19aa11f2b67f31d4c89eb455d8771d7dd50 (diff) | |
none
| -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 544a8f25..8ec88db1 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -32,6 +32,11 @@ </ul> <p> </p> + <ul> + <li><span style="background:"><font color="">Micro Kernel Research</font></span><a href="http://LOCATION/MicroKernelResearch">?</a>: Papers on Mach related topics </li> + </ul> + <p> + </p> </td> <td> </td> |