diff man/commands.texi @ 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 8cda50572ee2
children b7c8067e0332
line wrap: on
line diff