Fri, 14 Dec 2018 00:37:13 +0100 | Wuzzy | Fix minor mistake in credits | changeset | files |
Fri, 14 Dec 2018 00:28:31 +0100 | Wuzzy | Colorize people names in About screen | changeset | files |
Fri, 14 Dec 2018 00:16:05 +0100 | Wuzzy | Merge recent Rust changes | changeset | files |