diff options
| author | Daniel Hahler <git@thequod.de> | 2011-12-16 14:21:45 +0100 |
|---|---|---|
| committer | Phil Eichinger <phil@zankapfel.net> | 2014-03-25 16:47:57 +0100 |
| commit | b578eea2739e707d5ecfb79f5b072876264d8f1c (patch) | |
| tree | ad7f7e23434b9673b44331a763f62cb13f3dd942 /plugins | |
| parent | d41c588d1b2880b634babdb89b49e5b7e98ee2dc (diff) | |
| download | zsh-b578eea2739e707d5ecfb79f5b072876264d8f1c.tar.gz zsh-b578eea2739e707d5ecfb79f5b072876264d8f1c.tar.bz2 zsh-b578eea2739e707d5ecfb79f5b072876264d8f1c.zip | |
`setopt append_history` is not necessary.
Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions