]> granicus.if.org Git - neomutt/commit
projects / neomutt / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 182b786) | patch
Also remove duplicates from the history file.
authorKevin McCarthy <kevin@8t8.us>
Sat, 13 May 2017 01:31:41 +0000 (18:31 -0700)
committerRichard Russon <rich@flatcap.org>
Thu, 18 May 2017 13:42:25 +0000 (14:42 +0100)
commit169df0918c4109ace3cbf53152fdf83121031cbf
tree4003a441d14954c66ba8569931e0888b5940f5dctree | snapshot
parent182b786a6b066f42d76bda597ed2ae7ca776d258commit | diff
Also remove duplicates from the history file.

When $history_remove_dups is set, remove duplicates from the history
file when it is periodically compacted.
doc/manual.xml.head diff | blob | history
history.c diff | blob | history
init.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.