summaryrefslogtreecommitdiff
path: root/microkernel/mach/mig/gnu_mig
AgeCommit message (Expand)Author
2011-08-02Separate Debian and non-Debian build instructionsAndrew Engelbrecht
2011-08-01gnumach and mig are now in git, not cvs anymoreSamuel Thibault
2009-05-19MIG issues.Thomas Schwinge
2009-05-19Don't show the open_issues page itself.Thomas Schwinge
2009-05-18Simplify some links.Thomas Schwinge
2009-05-18Prefix directives.Thomas Schwinge
2009-05-18Diplay open issues that are appropriately tagged.Thomas Schwinge
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