diff configure1.in @ 22587:5fe3766ec1a8

(search-upper-case): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:13:36 +0000
parents c1e70445780e
children
line wrap: on
line diff