diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-04 21:36:44 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-04 21:36:44 +0000 |
| commit | 1250b118d99ee719b2da50f958498f10b56bed4d (patch) | |
| tree | 9ba08e8194ea82d56a63952984da6298fcc10fe5 /benchmarks/Makefile | |
| parent | 777a1359eb9ba1fec24b43c0b780f261f6baefbc (diff) | |
(pager_write_page, pager_read_page): Get rid of debugging noise.
Diffstat (limited to 'benchmarks/Makefile')
0 files changed, 0 insertions, 0 deletions