Fri, 14 Dec 2018 00:47:23 +0100 | Wuzzy | Append -dev to version string if built in non-release mode | changeset | files |
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 |