comparison make-dist @ 7553:e473c5ad9e7d

(server-done): Never kill buffer here. (server-buffer-done): Do it here, if temp file.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 1994 05:58:21 +0000
parents 836cfa8829a7
children 6191acd134b6
comparison
equal deleted inserted replaced
7552:371ae57ac9a8 7553:e473c5ad9e7d