diff make-dist @ 29303:a3541330de52

(finger-X.500-host-regexps): New user-option. (finger): If HOST matches a regexp from finger-X.500-host-regexps, send a query containing USER only, not USER@HOST.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 30 May 2000 20:01:39 +0000
parents 9eb6792eefac
children 43f15cfb67a0
line wrap: on
line diff