summaryrefslogtreecommitdiff
path: root/user
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2011-02-14 17:10:23 +0100
committerThomas Schwinge <thomas@schwinge.name>2011-02-14 17:10:23 +0100
commit2a086501eda8117bbf73445854251a8361de360d (patch)
tree8697df45a090f2a2eecb6fdc72a73ab9770b51da /user
parent4d93ba7548629fff82aa03351132c85d478a8734 (diff)
microkernel/mach/gnumach/building/example: Remove obsolete page.
Diffstat (limited to 'user')
0 files changed, 0 insertions, 0 deletions