diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-19 15:18:22 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-19 15:18:22 +0200 |
| commit | 526417662e3c02bd09c6a9f15fc8aa3c19771d6a (patch) | |
| tree | 621e8be5d5fdab55937920219115cb39000fbf58 /microkernel/viengoos | |
| parent | ad1fd23413b674e84fd6d850000a8f6d79a94b07 (diff) | |
| parent | ddee5a9dac670abe2c31acc37e2e1fee27b60b02 (diff) | |
Merge branch 'master-fix_remaining_prefix_directives'
Diffstat (limited to 'microkernel/viengoos')
0 files changed, 0 insertions, 0 deletions