diff src/intervals.c @ 48940:78987e4bee15

(info-lookup): For ease of use try item case-insensitive if not found case-sensitive. Do case sensitive search in index nodes, so items differing only in case go correctly to their respective nodes.
author Richard M. Stallman <rms@gnu.org>
date Mon, 23 Dec 2002 17:54:31 +0000
parents 080b4586492b
children dc1f6aa29285 d7ddb3e565de
line wrap: on
line diff