diff etc/HELLO @ 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 aca4bc5187d2
children c194028e6870
line wrap: on
line diff