summaryrefslogtreecommitdiff
path: root/serverboot/mach-exec.h
AgeCommit message (Expand)Author
2011-04-03Remove `serverboot'; fix "make dist" in `mach-defpager'.Ludovic Courtès
1997-04-04Thu Apr 3 20:00:58 1997 Thomas Bushnell, n/BSG <thomas@gnu.ai.mit.edu>Thomas Bushnell