diff options
author | Miles Bader <miles@gnu.org> | 1996-08-29 20:54:17 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-08-29 20:54:17 +0000 |
commit | 205739da2b1f799eb5f744bf6d76aa67ee9ae320 (patch) | |
tree | 921fc01ba42a348503c840789caa6d572dd4cf56 /utils | |
parent | 184bbe142aa0cfe33957d1fd3760a9087d2d0ac6 (diff) |
(file_pager_read_page): Use get_page_buf to get a free page.
(file_pager_read_page): Use free_page_buf to deallocate pages.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions