diff make-dist @ 22597:aaf6b0301b95

(rlogin-process-connection-type, rlogin-directory-tracking-mode): Use `other' widget type.
author Andreas Schwab <schwab@suse.de>
date Wed, 24 Jun 1998 09:23:00 +0000
parents d929ae6f35d3
children e270203c0c9f
line wrap: on
line diff