diff make-dist @ 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 b5f2181a40b9
children f1e5f5261b95 59dcbfe97385
line wrap: on
line diff