diff options
| author | Miles Bader <miles@gnu.org> | 1995-05-08 13:32:51 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-05-08 13:32:51 +0000 |
| commit | c1c18ac2c4841bc672b8506eea012f668750d273 (patch) | |
| tree | c6cc89921f6d9bc03b9538fa00d9e87a6ee1bd26 /benchmarks/Makefile | |
| parent | 0d4c9552d7f837afa7b28a86363434da2d77ce7a (diff) | |
(pager_clear_user_data): Don't die when called on the disk pager.
Diffstat (limited to 'benchmarks/Makefile')
0 files changed, 0 insertions, 0 deletions