Add a setting for HighPrecisionFPU (fixes #763).
-rw-r--r-- 28 .gitattributes
-rw-r--r-- 1084 .gitignore
-rw-r--r-- 610 .travis.yml
-rw-r--r-- 7962 CMakeLists.txt
-rw-r--r-- 13941 README.txt
drwxr-xr-x - builtin
drwxr-xr-x - client
drwxr-xr-x - cmake
drwxr-xr-x - doc
drwxr-xr-x - fonts
drwxr-xr-x - games
-rw-r--r-- 15052 minetest.conf.example
drwxr-xr-x - misc
drwxr-xr-x - mods
drwxr-xr-x - old
drwxr-xr-x - po
drwxr-xr-x - src
drwxr-xr-x - textures
drwxr-xr-x - util