diff admin/build-configs @ 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 0f6e6a0405c4
children 23a1cea22d13
line wrap: on
line diff