comparison configure1.in @ 22595:39510277d6a0

(executable-query): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:21:03 +0000
parents c1e70445780e
children
comparison
equal deleted inserted replaced
22594:d5904b1c89af 22595:39510277d6a0