diff man/misc.texi @ 55647:af4c24a912d0

* w32proc.c (create_child): Use make_number instead of masking pid.
author Jason Rumney <jasonr@gnu.org>
date Mon, 17 May 2004 22:27:53 +0000
parents 01fa7e81affb
children 136f1c16dc45
line wrap: on
line diff