From 026bf2d44814f4c982c33aa795b8dcca53361970 Mon Sep 17 00:00:00 2001
From: Tanaka Akira <akr@users.sourceforge.net>
Date: Mon, 6 Sep 1999 09:07:42 +0000
Subject: zsh-workers/7651

---
 Doc/Zsh/options.yo | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Doc')

diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo
index 025f015e1..3359630d8 100644
--- a/Doc/Zsh/options.yo
+++ b/Doc/Zsh/options.yo
@@ -452,6 +452,13 @@ than tt(SAVEHIST) in order to give you some room for the duplicated
 events, otherwise this option will behave just like
 tt(HIST_IGNORE_ALL_DUPS) once the history fills up with unique events.
 )
+pindex(HIST_FIND_NO_DUPS)
+cindex(history, ignoring duplicates in search)
+item(tt(HIST_FIND_NO_DUPS))(
+When searching for history entries in the line editor, do not display
+duplicates of a line previously found, even if the duplicates are not
+contiguous.
+)
 pindex(HIST_IGNORE_ALL_DUPS)
 cindex(history, ignoring all duplicates)
 item(tt(HIST_IGNORE_ALL_DUPS))(
-- 
cgit 1.4.1