mirror of
https://github.com/PDP-10/its.git
synced 2026-01-11 23:53:12 +00:00
So that a space in the name isn't mistaken for the start of the next argument, which is the process ID to kill later.
So that a space in the name isn't mistaken for the start of the next argument, which is the process ID to kill later.