diff options
| -rw-r--r-- | Mach/WebHome.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn index 2380e41d..a8ca60d3 100644 --- a/Mach/WebHome.mdwn +++ b/Mach/WebHome.mdwn @@ -39,7 +39,7 @@ <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, <span style="background:"><font color="">Port To L 4</font></span><a href="http://LOCATION/PortToL4">?</a>. </li> + <li><span style="background:"><font color="">Micro Kernel Research</font></span><a href="http://LOCATION/MicroKernelResearch">?</a>: Papers on Mach related topics, <span style="background:"><font color="">Posix Semaphores</font></span><a href="http://LOCATION/PosixSemaphores">?</a>, <span style="background:"><font color="">Port To L 4</font></span><a href="http://LOCATION/PortToL4">?</a>. </li> </ul> <p> </p> |