diff man/help.texi @ 57038:791b0637af6d

(desktop-clear-preserve-buffers): Remove make-obsolete-variable.
author Lars Hansen <larsh@soem.dk>
date Thu, 09 Sep 2004 19:44:37 +0000
parents d6c81d81255e
children 0816b427495a d8411455de48
line wrap: on
line diff