Wuzzy <Wuzzy2@mail.ru> [Wed, 04 Apr 2018 19:33:19 +0200] rev 13309
Show simple drop-down icon next to key binder widget
Wuzzy <Wuzzy2@mail.ru> [Wed, 04 Apr 2018 18:38:00 +0200] rev 13308
Update changelog
Wuzzy <Wuzzy2@mail.ru> [Wed, 04 Apr 2018 14:05:29 +0200] rev 13307
Update locale files
unc0rr [Fri, 30 Mar 2018 20:42:24 +0200] rev 13306
Improve error message a bit
nemo [Fri, 30 Mar 2018 12:26:51 -0400] rev 13305
oups
nemo [Fri, 30 Mar 2018 11:56:16 -0400] rev 13304
add title manipulation
unc0rr [Fri, 30 Mar 2018 17:01:30 +0200] rev 13303
Bump protocol version, update sources in preparation for .24 release
nemo [Fri, 30 Mar 2018 10:03:29 -0400] rev 13302
simple optimised svg of the low detail hedgehog for use in .desktop files and such
Wuzzy <Wuzzy2@mail.ru> [Fri, 30 Mar 2018 15:56:47 +0200] rev 13301
Travis: Drop zoogie PPA, drop ImageMagick from apt-get line
Wuzzy <Wuzzy2@mail.ru> [Fri, 30 Mar 2018 15:37:48 +0200] rev 13300
Travis: Upgrade to Ubuntu xenial, drop libghc-parsec3-dev