diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-29 14:04:48 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-29 14:04:48 +0000 |
| commit | 921a9a39750ec2580ece31d2829fc5db0a00358c (patch) | |
| tree | 06405347d617a34f13e80714aff388738db8008e /proc/=proc_excrepl.defs | |
| parent | e4ae548899601b5b8a4b78c3b8bf83932dfe5679 (diff) | |
(ports_claim_right): Doc fix.
(ports_transfer_right): New function.
Diffstat (limited to 'proc/=proc_excrepl.defs')
0 files changed, 0 insertions, 0 deletions