[Top][All Lists]

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

Re: [PATCH] Shell selection refinement

From: Eric Sunshine
Subject: Re: [PATCH] Shell selection refinement
Date: Sun, 02 May 2004 23:57:15 -0400
User-agent: Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.5) Gecko/20031007

Paul Eggert wrote:
Thanks.  I installed that patch (actually, the following slightly
different patch):

Thank you.

-- ES

reply via email to

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