|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |