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 |
Fri, 14 Dec 2018 00:15:30 +0100 | Wuzzy | Add nicknames in credits | changeset | files |