summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-12-13 00:35:02 +0100
committerThomas Schwinge <tschwinge@gnu.org>2007-12-15 22:22:55 +0100
commita71f2542f222bacccf485f984b24e526d702d344 (patch)
tree54b4abbfcb8652e3eff8538b1a92b6a0272afca6 /microkernel
parenta580fcb558023c1693d8db13d0a6a42ae2641cb3 (diff)
shortcuts (source_gnumach-1-branch): New.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions