log

age author description
Sat, 07 Jul 2018 17:30:07 +0200 Christian Brabandt Added tag v8.1.0160 for changeset ffd03eb6783642647990971f140ee623fe8b399c
Sat, 07 Jul 2018 17:30:06 +0200 Christian Brabandt patch 8.1.0160: no Danish manual translations v8.1.0160
Sat, 07 Jul 2018 16:45:06 +0200 Christian Brabandt Added tag v8.1.0159 for changeset 95030c5434110c607b8ffe8d421b03743b3d61da
Sat, 07 Jul 2018 16:45:05 +0200 Christian Brabandt patch 8.1.0159: completion for user names does not work for a prefix. v8.1.0159
Sat, 07 Jul 2018 16:30:07 +0200 Christian Brabandt Added tag v8.1.0158 for changeset 7cd8298c4c0497783c9e48db4a4d9b10ebfa0215
Sat, 07 Jul 2018 16:30:06 +0200 Christian Brabandt patch 8.1.0158: GUI: input() fails if CTRL-C was pressed before v8.1.0158