diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2013-06-14 15:23:02 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-06-14 15:23:02 +0200 |
commit | b62753218822eda4844619e183b24c2c1c0f631c (patch) | |
tree | fe470f7c4b17e879fff086bae8a83d2c8bbe20a3 /microkernel/mach | |
parent | ddcd43d12f4d8f8bf4f5e4070053009fc4c53ea9 (diff) |
open_issues/gdb: Use GCC 4.8.
Diffstat (limited to 'microkernel/mach')
0 files changed, 0 insertions, 0 deletions