diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:28:48 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:28:48 +0000 |
| commit | fb15b7fed13b7a4acaaab0ccbb2592caa5724d00 (patch) | |
| tree | dcbed500229dd051045ba5bd3ead8ae8bb0e5e15 /Makefile | |
| parent | b74f931a1cab53d9be4822058872492242c5ccda (diff) | |
(_pager_seqnos_memory_object_lock_completed): Use new ports interface.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions