Fix rounding error in font size making main menu and in game font sizes inconsistent
[oweals/minetest.git] / util / bump_version.sh
2014-12-29 KahrlAdd util/bump_version.sh