4 Commits (acb96b5d1ed6c5297a03ecf4f7a1452ccd50041c)

Author	SHA1	Message	Date
Anton	6bbd4f9011	Fix bugs in `ratchet_launcher`	2024-04-02 15:13:28 +02:00
Rob Pilling	7dca61a0d5	Fix d888b80ea - correctly bump ratchet launcher's version	2023-05-06 12:27:21 +01:00
Gordon Williams	85abda3ba5	tweak sort orders so non-default launchers aren't right at the top	2022-07-15 11:43:01 +01:00
Joseph Paul	8dc3e8f8fc	Ratchet Launcher: Initial version	2022-03-04 10:25:23 +01:00