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
..
org.eclipse.jdt.core.prefs	Fixed a rare case where float and double mixup would result in an incorrect speed	2016-10-13 20:46:10 +02:00