2 Commits

Author SHA1 Message Date
Kovid Goyal
8f8a37bf94
Fix #1678 2019-06-04 14:14:12 +05:30
Luflosi
581deb6073
Rename linux-launcher -> launcher
Since the launcher is also used on macOS, rename it to something more generic.
2019-05-18 19:13:56 +02:00