[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: desktop and misc.texi

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.

I do agree. Thanks.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]