Rémi Verschelde 21136aaf9a Merge pull request #67399 from Calinou/rename-precision-double-scons ... Rename `float=64` SCons option to `precision=double`		2022-12-10 22:08:18 +01:00
..
classes	Merge pull request #67399 from Calinou/rename-precision-double-scons	2022-12-10 22:08:18 +01:00
tools	…
translations	…
Doxyfile	…
Makefile	…
class.xsd	…