diff configure @ 49717:ecb17cef5c44

(info-xref-check-buffer): Fix typo.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 11 Feb 2003 09:02:37 +0000
parents 99be3a1e2589
children 088ec1541d38 d7ddb3e565de
line wrap: on
line diff