|
From: | Lars Hansen |
Subject: | Re: desktop and misc.texi |
Date: | Sat, 16 Aug 2003 20:17:33 +0200 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.0) Gecko/20020623 Debian/1.0.0-0.woody.1 |
Alex Schroeder wrote:
I have appended two patches, one for misc.texi and one for desktop.el. I don't think any ChangeLog entries are required, because these are mostly doc changes. I also changed one (eq desktop-save 't) to (eq desktop-save t); I think that should be harmless. If you agree with these changes, I can commit them. Alex.
I do agree. Thanks.
[Prev in Thread] | Current Thread | [Next in Thread] |