diff make-dist @ 62195:db28615c678a

(hilit-add-pattern): Replace `string-to-int' by `string-to-number'.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 09 May 2005 08:45:47 +0000
parents 3e36b3c98f8e
children c53a9463c31a 62afea0771d8
line wrap: on
line diff