diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-21 17:33:49 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-21 17:33:49 +0000 |
| commit | dea53bca8a96dc9d8f3d1a2e3510c0e0fc0993cb (patch) | |
| tree | b4b80df42c758b3e05c47e457beb7171c718a6f3 /devio/Makefile | |
| parent | bf639faa9ba2971fd2e9968ecac95e7d57dd3644 (diff) | |
(drop_pager_softrefs): Use ports reference calls directly instead of
pager wrappers.
(allow_pager_softrefs): Likewise.
(pager_traverse): Likewise.
(diskfs_file_update): Fix typo.
Diffstat (limited to 'devio/Makefile')
0 files changed, 0 insertions, 0 deletions