Guillaume Dupuy 9ec5a6e693 Fixed a rare case where float and double mixup would result in an incorrect speed		2016-10-13 20:46:10 +02:00
..
build.sh	Fixed a rare case where float and double mixup would result in an incorrect speed	2016-10-13 20:46:10 +02:00
clean.sh	Fixed a rare case where float and double mixup would result in an incorrect speed	2016-10-13 20:46:10 +02:00
export.sh	Fixed a rare case where float and double mixup would result in an incorrect speed	2016-10-13 20:46:10 +02:00
install.sh	Fixed a rare case where float and double mixup would result in an incorrect speed	2016-10-13 20:46:10 +02:00