summaryrefslogtreecommitdiff
path: root/microkernel/mach/mig/gnu_mig
AgeCommit message (Expand)Author
2008-11-22Tidy inline directives.Thomas Schwinge
2008-11-19Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"Thomas Schwinge
2008-11-06[[microkernel/mach/mig/gnu_mig]]: New; move most content there.Thomas Schwinge