diff help/help_diff.sh @ 7611:411886c03c54

strtod is locale-dependant, so it may only accept either '.' or ',' as decimal point, we do now make sure both works by providing a fallback. If anyone knows a better/simpler algorithmn than I used, feel free to improve.
author atmos4
date Sun, 06 Oct 2002 05:54:12 +0000
parents 32c7ca9359b1
children 6973e76d95b2
line wrap: on
line diff