diff options
| author | Miles Bader <miles@gnu.org> | 1996-02-21 00:29:55 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-02-21 00:29:55 +0000 |
| commit | c094cc72e012e45c09711186df0ea3faa1a4267d (patch) | |
| tree | 13ec20173d8ca1b19297601f73327a0a1d98f860 /config.make.in | |
| parent | 8b41f382fa5b7f94c51dafa3a4f66dc7fde3c9cc (diff) | |
(_pager_seqnos_memory_object_lock_completed): Use barf instead of printf.
Diffstat (limited to 'config.make.in')
0 files changed, 0 insertions, 0 deletions