diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:04:11 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:04:11 +0000 |
| commit | d69171b495130395a02445beace090fc041aa299 (patch) | |
| tree | 6ec3a7f77cde52fd017d6f645faf48871c63b832 /libdirmgt | |
| parent | 19981914763da9d9045634cbe021625ca0323061 (diff) | |
Rename pager_no_senders to _pager_do_seqnos_mach_notify_no_senders.
Lookup up port right ourselves. Remove function pager_clean (now in
clean.c).
Diffstat (limited to 'libdirmgt')
0 files changed, 0 insertions, 0 deletions