diff options
author | Miles Bader <miles@gnu.org> | 1996-09-23 17:37:40 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-09-23 17:37:40 +0000 |
commit | 4aa13a819cb11bf5fe1b80e0758db5d280721ccb (patch) | |
tree | d80ea4b6c43da19ae148905b63328d537a44ff2e /libstore/set.c | |
parent | 90d22ae2c45839cbb30a97d51f9fa9775facf1b3 (diff) |
(sync_global_ptr):
Use DISKFS_DISK_PAGER instead of DISK_PAGER.
(store):
New declaration.
(disk_image):
New declaration.
(get_page_buf, free_page_buf):
Declarations removed.
(store_parsed, store_name):
New declarations.
Diffstat (limited to 'libstore/set.c')
0 files changed, 0 insertions, 0 deletions