diff options
| author | Miles Bader <miles@gnu.org> | 1996-01-27 17:22:57 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-01-27 17:22:57 +0000 |
| commit | 62789ef7555ec0dc6b8b18d1dd71e59fbc51530e (patch) | |
| tree | c28d617a1eb4e87f752bc7260ceda45a36d3fa27 /init | |
| parent | b71fa46e01b56001a167720f785b803f5d041ebd (diff) | |
(ports_no_senders): Use ports_interrupt_rpcs instead of ports_interrupt_rpc.
Diffstat (limited to 'init')
0 files changed, 0 insertions, 0 deletions