[GDB] Add copyright header for gdbmach.c
authorStefan Hajnoczi <stefanha@gmail.com>
Thu, 12 Jun 2008 17:19:55 +0000 (18:19 +0100)
committerMichael Brown <mcb30@etherboot.org>
Mon, 30 Jun 2008 18:19:48 +0000 (19:19 +0100)
commit5504fa9047d3b0c3d7a2c18f4100c0ad6be61069
tree16af7234b5e97f12062f180cb1cf02c21a9517ad
parent19386ec2c8c9f266425453673ba051cdb550d0c3
[GDB] Add copyright header for gdbmach.c
src/arch/i386/core/gdbmach.c