[Top][All Lists]

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

Re: avoid duplicates in history

From: Richard Stallman
Subject: Re: avoid duplicates in history
Date: Sat, 05 Jun 2004 09:48:59 -0400

      > Yes it is, it runs two words together for no reason.  Just use
      > `history-delete-duplicates'.

    How about the default? Should this be turned on by default? 

Please do not change the default.

reply via email to

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