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 /proc/Makefile | |
| parent | 2e158917824fa373d8cd5995f46aba2c05c026a1 (diff) | |
(inhibit_port_rpcs): Renamed to `ports_inhibit_port_rpcs'.
Diffstat (limited to 'proc/Makefile')
0 files changed, 0 insertions, 0 deletions