diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 08:29:26 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 08:59:26 +0100 |
| commit | 65ad34e710723380896dd7d2d193afc62116ad89 (patch) | |
| tree | b39cfbbf213281fbca590874deb7cc0ade51a670 /microkernel/mach.mdwn | |
| parent | 9ef4358330ec422c518a0094bc965f3476466882 (diff) | |
[[microkernel/mach/mig/gnu_mig]]: New; move most content there.
Diffstat (limited to 'microkernel/mach.mdwn')
| -rw-r--r-- | microkernel/mach.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach.mdwn b/microkernel/mach.mdwn index 594a74f9..9d3289b4 100644 --- a/microkernel/mach.mdwn +++ b/microkernel/mach.mdwn @@ -13,4 +13,4 @@ microkernel currently used by the [[Hurd]]. # Related -* [[Mach_Interface_Generator|mig]] +* [[Mach_Interface_Generator_(MIG)|mig]] |