diff make-dist @ 11329:ecbfde696360

(server-switch-buffer): Make first arg optional too; server-edit might pass no args, since server-done might return nil.
author Roland McGrath <roland@gnu.org>
date Sun, 09 Apr 1995 18:57:09 +0000
parents 52bf246dd940
children e3434c390970
line wrap: on
line diff