Thu, 02 Apr 2020 12:19:09 +0200 | wenzelm | proper arguments of protocol function; | changeset | files |
Wed, 01 Apr 2020 23:04:28 +0200 | wenzelm | merged | changeset | files |
Wed, 01 Apr 2020 22:07:57 +0200 | wenzelm | more robust: process stdout on Windows may contain CR; | changeset | files |