diff make-dist @ 79243:cccc3ec23e08

(server-unload-function): Rename from `server-unload-hook' and adapt to new `unload-feature' functionality. Remove hook from `kill-buffer-hook' buffer-locally. (server-unload-hook): Remove. (server-unload-function): New var; replaces `server-unload-hook'.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 29 Oct 2007 00:42:24 +0000
parents 4b9e26bc6f59
children a9b80f99c836 4146a20f4623 f55f9811f5d7
line wrap: on
line diff