diff move-if-change @ 49717:ecb17cef5c44

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