Fix DPI scaling on Windows
authorsfan5 <sfan5@live.de>
Sat, 25 Apr 2020 12:00:11 +0000 (14:00 +0200)
committersfan5 <sfan5@live.de>
Sat, 25 Apr 2020 12:00:11 +0000 (14:00 +0200)
commit8b45f6a5f3eac7030cdc12d729066ccef4794502
tree30747a8ff55c3ce666fc0c7b2401ff607b3ffde3
parent73180a73da9b290e2da8629799696cd8c4eab268
Fix DPI scaling on Windows

the manifest appears to be very sensitive to changes
closes #9744
misc/minetest.exe.manifest