diff man/url.texi @ 62402:a7e02ef1e3d6

Replace `string-to-int' by `string-to-number'.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 16 May 2005 11:33:47 +0000
parents ed7e8235f78d
children b0b56d84051f
line wrap: on
line diff