diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-16 15:13:36 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-16 15:13:36 +0200 |
| commit | b478a681577dccffbc8702063529898036b8f644 (patch) | |
| tree | bc40be62afe8bfe21b149e09ad733bb7a0e2a3c6 /microkernel | |
| parent | b60c6479a7e24591afa809343d97ab84196859cb (diff) | |
Explain a bit more verbose.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions