log

age author description
Fri, 16 Mar 2018 23:00:07 +0100 Christian Brabandt patch 8.0.1612: need to close terminal after shell stopped v8.0.1612
Fri, 16 Mar 2018 22:30:07 +0100 Christian Brabandt Added tag v8.0.1611 for changeset 8a8daeb057d19090eae3710f703098f25cffecad
Fri, 16 Mar 2018 22:30:07 +0100 Christian Brabandt patch 8.0.1611: CTRL-W in system terminal does not go to job v8.0.1611