diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-16 16:52:33 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-10-16 16:52:33 +0200 |
| commit | d2d19d1b8bb769ca901c073631df1e95b5e7b016 (patch) | |
| tree | b75bfaa63613a0d939ea43ab82554fa8515736db /Mach | |
| parent | 856ca3db5c9099582a3dab8b03076ea7bf4c9c28 (diff) | |
Add copyright and licensing header.
Diffstat (limited to 'Mach')
0 files changed, 0 insertions, 0 deletions