-
Kevin J. McCarthy authored
When $history_remove_dups is set, remove duplicates from the history file when it is periodically compacted.
d75ca8e6
To find the state of this project's repository at the time of any of these versions, check out the tags.