1
0
mirror of https://github.com/robbyrussell/oh-my-zsh.git synced 2025-12-12 10:20:40 +01:00
Files
oh-my-zsh/lib/history.zsh
Daniel Hahler b578eea273 setopt append_history is not necessary.
Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
2014-03-25 16:47:57 +01:00

365 B