1
0
mirror of https://github.com/ohmyzsh/ohmyzsh.git synced 2025-03-05 03:24:26 +08:00
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
..
2014-03-10 04:05:14 -04:00