Small fixes, including better external launcher
authorNiki Roo <niki@nikiroo.be>
Mon, 4 Dec 2017 21:29:07 +0000 (22:29 +0100)
committerNiki Roo <niki@nikiroo.be>
Mon, 4 Dec 2017 21:29:07 +0000 (22:29 +0100)

No differences found