diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-12-12 01:00:09 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2008-12-12 01:00:09 +0100 |
| commit | 90a910fceafc23b23611acbd8d44b49440914709 (patch) | |
| tree | 82fb95bdebaffec67eac87583e399b052f4d02aa /microkernel/mach.mdwn | |
| parent | 46e2ca52f61f130657da51d5608d751136f360d3 (diff) | |
Some tidy-up. No need to have lists of people that might show up somewhere or rather not.
Diffstat (limited to 'microkernel/mach.mdwn')
0 files changed, 0 insertions, 0 deletions