From c8b88614188c6c8541fed9afe35fedab9de10bc2 Mon Sep 17 00:00:00 2001
From: Sorin Ionescu <sorin.ionescu@gmail.com>
Date: Wed, 28 Dec 2011 15:16:41 -0500
Subject: [PATCH] Removed redundant APPEND_HISTORY option.

---
 history.zsh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/history.zsh b/history.zsh
index 8816a934..3f9fa0f3 100644
--- a/history.zsh
+++ b/history.zsh
@@ -4,7 +4,6 @@ SAVEHIST=10000
 
 setopt BANG_HIST                 # Treat the '!' character specially during expansion.
 setopt EXTENDED_HISTORY          # Write the history file in the ":start:elapsed;command" format.
-setopt APPEND_HISTORY            # Append to the history file, don't replace it.
 setopt INC_APPEND_HISTORY        # Write to the history file immediately, not when the shell exits.
 setopt SHARE_HISTORY             # Share history between all sessions.
 setopt HIST_EXPIRE_DUPS_FIRST    # Expire duplicate entries first when trimming history.