diff config.bat @ 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 aaff735de38e
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff