diff src/doc.c @ 103872:b80dd52f140c

(desktop-buffers-not-to-save): Remove ".log". (Bug#3833)
author Eli Zaretskii <eliz@gnu.org>
date Sun, 12 Jul 2009 19:41:26 +0000
parents e038c1a8307c
children 90578b9cc2d2
line wrap: on
line diff