diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-13 20:57:42 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-11-13 20:57:42 +0100 |
| commit | 653a917a9bfab3842c28b301f98913d13588ad94 (patch) | |
| tree | 236e512283867b58c70a9323ed80b88b1a64a769 /microkernel/mach | |
| parent | 1ef5e07283ef81704e3b254adc0cd81ed768a172 (diff) | |
Move out Debian-specific bits.
Diffstat (limited to 'microkernel/mach')
0 files changed, 0 insertions, 0 deletions