diff configure1.in @ 23457:3ca22a873859

(keep-lines, flush-lines, how-many): Don't ignore case if arg has upper case letters.
author Richard M. Stallman <rms@gnu.org>
date Wed, 14 Oct 1998 12:47:18 +0000
parents c1e70445780e
children
line wrap: on
line diff