diff options
| author | Miles Bader <miles@gnu.org> | 1995-07-08 23:24:14 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-07-08 23:24:14 +0000 |
| commit | a064ef82e289f6ca6ba19b13f276fbd31524c899 (patch) | |
| tree | b1b28adf51a9b5e958f49287883c44f753dd1479 /devio/devpager.c | |
| parent | 3756a6c49c5666656f495ce5e8a8e2b7c600f184 (diff) | |
(io_state_sync): Remember that we've synced the buffer.
Diffstat (limited to 'devio/devpager.c')
0 files changed, 0 insertions, 0 deletions