diff lib-src/rcs-checkin @ 22595:39510277d6a0

(executable-query): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:21:03 +0000
parents da322c027bf0
children c8fb06423da0
line wrap: on
line diff