diff options
| author | rubenwardy <rw@rubenwardy.com> | 2018-08-05 23:14:24 +0100 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2018-08-05 23:16:05 +0100 |
| commit | 8d68b2cd210fea3cd852c648464c8bdd9cac02a7 (patch) | |
| tree | eb44dab2ef21b5cba02010762ce353b325ddc642 /lib/gmp/mini-gmp.h | |
| parent | ee63b94f2c9e176f549c4446391e4c59f5a5be53 (diff) | |
| download | minetest-8d68b2cd210fea3cd852c648464c8bdd9cac02a7.tar.gz minetest-8d68b2cd210fea3cd852c648464c8bdd9cac02a7.tar.bz2 minetest-8d68b2cd210fea3cd852c648464c8bdd9cac02a7.zip | |
Fix debug and info text being the wrong color
Fixes #7623
Diffstat (limited to 'lib/gmp/mini-gmp.h')
0 files changed, 0 insertions, 0 deletions