remove the apparently-unused Launch UI bits
authorBdale Garbee <bdale@gag.com>
Sun, 14 Jan 2018 20:11:50 +0000 (17:11 -0300)
committerBdale Garbee <bdale@gag.com>
Sat, 28 Mar 2020 06:52:14 +0000 (00:52 -0600)

No differences found