fpdiff does not work with dots after the number
Reported by Michael Behrisch on 2012-11-30
This bug affects 1 person
if you compare lines like "time 12.1." and "time 12.2." they always differ regardless of the configured floating point tolerance due to the sloppy way fpdiff.py extracts the numbers in _getNumberAt.