diff make-dist @ 12822:6fb78108d62d

(server-buffer-done): Pause between client commands, but not after the last one.
author Richard M. Stallman <rms@gnu.org>
date Thu, 10 Aug 1995 22:07:41 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
line wrap: on
line diff