summaryrefslogtreecommitdiff
path: root/microkernel/mach/mig/gnu_mig
AgeCommit message (Collapse)Author
2008-11-22Tidy inline directives.Thomas Schwinge
2008-11-19Revert "microkernel/mach/gnumach -> microkernel/mach/gnu_mach"Thomas Schwinge
This reverts commit ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69. I've changed my mind again. Also resolve conflicts and adapt all new uses of the path.
2008-11-06[[microkernel/mach/mig/gnu_mig]]: New; move most content there.Thomas Schwinge