diff version.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 b464616d40b5
children 93694559178c
line wrap: on
line diff