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 |
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 |
Thu, 13 Dec 2018 23:21:19 +0100 | Wuzzy | Add more maps and theme credits in credits.csv | changeset | files |
Thu, 13 Dec 2018 22:50:14 +0100 | Wuzzy | Clean up CREDITS file, move more credits to credits.csv | changeset | files |