diff install-sh @ 39200:5e31d7269106

(Sets And Lists): Document member-ignore-case.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 08 Sep 2001 17:43:49 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff