diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-18 23:41:15 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-18 23:41:15 +0100 |
commit | 1869507b795bd5a52a6b63258f0d266a292fbfbb (patch) | |
tree | d4671ba9ca6bd14faf425d8ec2b98150cabdf888 /microkernel | |
parent | 6eb4963e7b1452990ab57607f6846f8585a5ef53 (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