diff make-dist @ 64566:5f2024a71a2a

(desktop-clear-preserve-buffers-regexp): Also preserve the *server* buffer.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 21 Jul 2005 11:49:32 +0000
parents c53a9463c31a
children 385af3e03206 f9a65d7ebd29
line wrap: on
line diff