Hugo Locurcio 063637ec77 Rename float=64 SCons option to precision=double ...

This avoids confusion with the old `bits=64` option and building
for 64-bit CPUs in general.

2022-12-10 16:43:45 +01:00

..

__init__.py

…

build_assemblies.py

Rename float=64 SCons option to precision=double

2022-12-10 16:43:45 +01:00

mono_configure.py

…