diff move-if-change @ 49380:d2e3b9b256df

(Info-index-next): Use "(`,' tries to find next)" for more matches for consistency with standalone info browser.
author Kai Großjohann <kgrossjo@eu.uu.net>
date Wed, 22 Jan 2003 10:43:36 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line diff