comparison make-dist @ 13588:c50d9d86eda9

(nntp-open-server): Accept a second optional parameter for just changing virtual server. Doc fix. (nntp-possibly-change-server): Use it. (nntp-close-server): Ditto.
author Richard M. Stallman <rms@gnu.org>
date Sat, 18 Nov 1995 17:44:30 +0000
parents 34c4ee840e09
children 3db84fa28aea
comparison
equal deleted inserted replaced
13587:a0c1c62e2c4a 13588:c50d9d86eda9