diff etc/enriched.doc @ 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 c510bee23510
children 026d2f64b0c3
line wrap: on
line diff