comparison lib-src/rcs-checkin @ 22599:a9b371a8e835

(bibtex-include-OPTkey): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:25:09 +0000
parents da322c027bf0
children c8fb06423da0
comparison
equal deleted inserted replaced
22598:dcb17af08ae0 22599:a9b371a8e835