diff make-dist @ 48053:f840e449c328

(Fsignal_process): Allow PROCESS to be specified by name in addition to pid (as integer or string).
author Kim F. Storm <storm@cua.dk>
date Mon, 28 Oct 2002 23:18:50 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff