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 |
Thu, 13 Dec 2018 23:44:46 +0100 | unc0rr | Adopt physfs-rs lib and adapt it to recent std library, remove global mutex | changeset | files |