sanderd17 7ed45213a9 Allow heightmaps to be 8 times as high by lessening precisions. Includes conversion script and modified standard maps. Bump the map version number. Fixes #3112 ...

This was SVN commit r16478.

2015-03-31 16:48:31 +00:00

..

a18_to_a19.py

…