diff man/killing.texi @ 55643:ed93b07d7123

(_sys_read_ahead): Use w32_pipe_read_delay.
author Jason Rumney <jasonr@gnu.org>
date Mon, 17 May 2004 21:05:58 +0000
parents 3649390c0f91
children ccb70b8731b4
line wrap: on
line diff