diff config.sub @ 62194:dda44460de33

(string-to-float): Replace `string-to-int' by `string-to-number'.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 09 May 2005 08:44:58 +0000
parents 4977d34e1341
children c53a9463c31a d7ddb3e565de
line wrap: on
line diff