diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:47 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:47 +0000 |
| commit | 443886acfed9baee785d5df3baa1cbb03bb59ebe (patch) | |
| tree | bf9a8ba8a830be4c58abe5f708d098b13f2d43a6 /pfinet/mapped-time.h | |
| parent | cda632344e2e74fc6bfae22ee7273b7156cf51cc (diff) | |
(_pager_lock_object): Print debugging message when SYNC.
Diffstat (limited to 'pfinet/mapped-time.h')
0 files changed, 0 insertions, 0 deletions