diff options
| author | Arne Babenhauserheide <arne_bab@web.de> | 2009-06-04 15:10:47 +0200 |
|---|---|---|
| committer | Arne Babenhauserheide <arne_bab@web.de> | 2009-06-04 15:10:47 +0200 |
| commit | 6b7cb4dbb2aa81685f93f1abb9be5251dccf1443 (patch) | |
| tree | a90930d9b28c71d8d463c214e5a1bb9aca90199e /microkernel/mach/gnumach/ports | |
| parent | 3281cbe45bb9309ca8a3d50a8e675500050ac7de (diff) | |
debian distro: smaller headings.
Diffstat (limited to 'microkernel/mach/gnumach/ports')
0 files changed, 0 insertions, 0 deletions