diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 14:58:33 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-05 14:58:33 +0100 |
| commit | ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69 (patch) | |
| tree | 53d824c19af411f67db44baeacba9b22b68731e6 /sidebar.mdwn | |
| parent | 9574f098caf72da7f709c8467e96606cce04fff9 (diff) | |
| download | web-ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69.tar.gz web-ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69.tar.bz2 web-ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69.zip | |
microkernel/mach/gnumach -> microkernel/mach/gnu_mach
Diffstat (limited to 'sidebar.mdwn')
| -rw-r--r-- | sidebar.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sidebar.mdwn b/sidebar.mdwn index 0ac0561c..a368c6c3 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -22,7 +22,7 @@ Hurd! * *[[Hurd/Documentation]]* * *[[hurd/Running]]*"]] * **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then=" - * *[[GNU_Mach|microkernel/mach/gnumach]]* + * *[[microkernel/mach/GNU_Mach]]* * *[[microkernel/mach/Documentation]]*"]] --- |