log

age author description
Mon, 17 May 2004 22:27:53 +0000 Jason Rumney * w32proc.c (create_child): Use make_number instead of masking pid.
Mon, 17 May 2004 21:43:22 +0000 Jason Rumney (w32_num_mouse_buttons): Rename from Vw32_num_mouse_buttons and make
Mon, 17 May 2004 21:33:16 +0000 Jason Rumney Rename w32_num_mouse_buttons from Vw32_num_mouse_buttons.
Mon, 17 May 2004 21:14:43 +0000 Jason Rumney Use static consistently.
Mon, 17 May 2004 21:05:58 +0000 Jason Rumney (_sys_read_ahead): Use w32_pipe_read_delay.
Mon, 17 May 2004 21:05:06 +0000 Jason Rumney * w32proc.c (w32_pipe_read_delay): Rename from Vw32_pipe_read_delay