diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 14:50:18 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 14:50:18 +0000 |
| commit | 1db9f21772c810f0d118fc39986a87f8a98659bd (patch) | |
| tree | 0a9ab2d4515c62cd4db9e92f679c8038863825c5 /hurd.boot | |
| parent | ac3ded0deb76246cfb9e8dae5b9a6e06951dbef6 (diff) | |
(ports_manage_port_operations_one_thread): Doc fix.
Diffstat (limited to 'hurd.boot')
0 files changed, 0 insertions, 0 deletions