diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 20:06:37 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 20:06:37 +0000 |
commit | be04af022a45ca8c8a8d1afd619acef35640622c (patch) | |
tree | 4b8e20bba61d7d9639af98f37ffd3b55c46b3840 /libpipe/pq.h | |
parent | 254f62587295853d3c23d4959ead24d06e63a945 (diff) |
(pager_offer_page): Only flush page if not in core now.
Diffstat (limited to 'libpipe/pq.h')
0 files changed, 0 insertions, 0 deletions