log

age author description
Sun, 12 Nov 2017 19:30:05 +0100 Christian Brabandt patch 8.0.1295: cannot automatically get a server name in a terminal v8.0.1295
Sun, 12 Nov 2017 18:45:05 +0100 Christian Brabandt Added tag v8.0.1294 for changeset a46dfb3935cf7b17511336a5dada2f6cda68ae3d
Sun, 12 Nov 2017 18:45:04 +0100 Christian Brabandt patch 8.0.1294: GUI: get stuck when splitting a terminal window v8.0.1294
Sun, 12 Nov 2017 18:15:05 +0100 Christian Brabandt Added tag v8.0.1293 for changeset db9ffed7e1fc09ee0266beda34a94def6a8c6c06
Sun, 12 Nov 2017 18:15:04 +0100 Christian Brabandt patch 8.0.1293: setting a breakpoint in the terminal debugger sometimes fails v8.0.1293
Sun, 12 Nov 2017 17:00:07 +0100 Christian Brabandt Added tag v8.0.1292 for changeset 5cb08ec9d4cf4be6ad659bde6befcaed794ac538
Sun, 12 Nov 2017 17:00:07 +0100 Christian Brabandt patch 8.0.1292: quick clicks in the WinBar start Visual mode v8.0.1292
Sun, 12 Nov 2017 15:45:06 +0100 Christian Brabandt Added tag v8.0.1291 for changeset 91222b3123ba88cdee78512015d3e7da1564211f