comparison make-dist @ 7597:99a600c67e82

(server-done-hook): New hook. (server-buffer-done): Run it.
author Richard M. Stallman <rms@gnu.org>
date Fri, 20 May 1994 23:48:12 +0000
parents 836cfa8829a7
children 6191acd134b6
comparison
equal deleted inserted replaced
7596:1405fe5b05e0 7597:99a600c67e82