diff man/anti.texi @ 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 5e6911100617
children 02b9a9aa5b0c 545d21ef587f
line wrap: on
line diff