diff options
| author | Miles Bader <miles@gnu.org> | 1996-01-27 17:26:30 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-01-27 17:26:30 +0000 |
| commit | 8ec68d37bbf75fac0b45d64d9f334881cf568964 (patch) | |
| tree | f77687642901bb610d177d02692b147196eff682 /doc | |
| parent | 3c03e4170a6ba48d1f70f4bb3ceea4a185fb50f9 (diff) | |
(ports_S_interrupt_operation):
Use ports_interrupt_rpcs instead of ports_interrupt_rpc.
Fix spelling of cancel_threshold (was cancel_threshhold).
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions