diff options
author | Miles Bader <miles@gnu.org> | 1995-08-30 20:01:20 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-08-30 20:01:20 +0000 |
commit | 8832237df37b394f990e0746f2702f6400d1359e (patch) | |
tree | f775347bb87fd2a4211ce62fca13cb6235a77145 /libports/interrupt-rpcs.c | |
parent | 2e158917824fa373d8cd5995f46aba2c05c026a1 (diff) |
(inhibit_port_rpcs): Renamed to `ports_inhibit_port_rpcs'.
Diffstat (limited to 'libports/interrupt-rpcs.c')
0 files changed, 0 insertions, 0 deletions