diff GETTING.GNU.SOFTWARE @ 17712:41a4624c1e79

(server-buffer-done): New arg FOR-KILLING. (server-kill-buffer): New fn, to inform clients when buffer is killed.
author Richard M. Stallman <rms@gnu.org>
date Sat, 10 May 1997 00:37:24 +0000
parents 87bd6540514f
children 6fcc2c9a1857
line wrap: on
line diff