diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 08:09:23 +0100 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-06 08:09:23 +0100 |
commit | 9ef4358330ec422c518a0094bc965f3476466882 (patch) | |
tree | 90bed6bb0a7d52f4b14e33e4faddca1b6cb85af6 /Mach | |
parent | a9accad064758577799a0ef2fb8f6242ef815829 (diff) |
Add copyright and licensing header.
Diffstat (limited to 'Mach')
0 files changed, 0 insertions, 0 deletions