log

age author description
Mon, 13 Nov 2017 21:15:03 +0100 Christian Brabandt patch 8.0.1296: checking the same condition twice v8.0.1296
Sun, 12 Nov 2017 19:30:06 +0100 Christian Brabandt Added tag v8.0.1295 for changeset 963cdeb42c4100c72eaf8ec8991e4219a8418487
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