diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-29 15:23:38 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-29 15:23:38 +0000 |
| commit | ba51a0f36feb19b4983abd88cfc03ba58ea779c6 (patch) | |
| tree | b2387f7670d88c9f56f87e34713b688e91a638e8 /hurd.boot | |
| parent | e5c73a37cc8acc4cf12b18df08b7fe10f5d83cf8 (diff) | |
(ports_reallocate_from_external): Require port to have a current port
right.
Diffstat (limited to 'hurd.boot')
0 files changed, 0 insertions, 0 deletions