diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-19 15:54:07 +0100 |
| commit | 1de4ec0bcfad92dfa0b7cf69919d56c0dca4cb7a (patch) | |
| tree | df1d22d227cacf7ce981448ea9c148c60c72f80c /sidebar.mdwn | |
| parent | 306cbd9d3afc7619bbaef2d14123f6a693802980 (diff) | |
Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"
This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69. I've changed my
mind again. Also resolve conflicts and adapt all new uses of the path.
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 6a132e6d..b7acb592 100644 --- a/sidebar.mdwn +++ b/sidebar.mdwn @@ -23,7 +23,7 @@ Hurd! * *[[hurd/Running]]*"]] * **[[microkernel/Mach]]**[[if test="destpage(microkernel/mach*)" then=" * *[[microkernel/mach/Documentation]]* - * *[[microkernel/mach/GNU_Mach]]*"]] + * *[[GNU_Mach|microkernel/mach/gnumach]]*"]] * *[[microkernel/mach/MIG]]*[[if test="destpage(microkernel/mach/mig*)" then=" * [[microkernel/mach/mig/GNU_MIG]]"]] |