summaryrefslogtreecommitdiff
path: root/mach-defpager/default_pager.c
AgeCommit message (Expand)Author
2011-11-20Just destroy port rights in default_pagerSergio Lopez
2011-11-20Fix defpager into using the correct control portMaksym Planeta
2011-08-20fix common misspellingsJonathan Neuschäfer
2011-04-03Remove `serverboot'; fix "make dist" in `mach-defpager'.Ludovic Courtès