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 /libports | |
| parent | 254f62587295853d3c23d4959ead24d06e63a945 (diff) | |
(pager_offer_page): Only flush page if not in core now.
Diffstat (limited to 'libports')
0 files changed, 0 insertions, 0 deletions