diff man/flymake.texi @ 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 4133ed695908
children 3723093a21fd
line wrap: on
line diff