[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: avoid duplicates in history
From: |
Dan Nicolaescu |
Subject: |
Re: avoid duplicates in history |
Date: |
Fri, 04 Jun 2004 09:29:14 -0700 |
Miles Bader <address@hidden> writes:
> 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?
I even got some suggestions that deleting duplicates should be the
only way to do it.
(It would be nice to have a decision about this, so I can write the
final docs and patch).
--dan