summaryrefslogtreecommitdiff
path: root/microkernel
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-11-18 23:41:15 +0100
committerThomas Schwinge <tschwinge@gnu.org>2007-11-18 23:41:15 +0100
commit1869507b795bd5a52a6b63258f0d266a292fbfbb (patch)
treed4671ba9ca6bd14faf425d8ec2b98150cabdf888 /microkernel
parent6eb4963e7b1452990ab57607f6846f8585a5ef53 (diff)
Tell how to prepare the source trees for GNU Mach and GNU MIG.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions