diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2018-04-22 15:25:30 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2018-04-22 15:33:11 +0200 |
| commit | 9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e (patch) | |
| tree | bd2b44f2b98f870222900b7fe9451196db9be632 /plugins/debian | |
| parent | 20d63be655bfed2104858dc87052a310f9c45224 (diff) | |
| download | zsh-9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e.tar.gz zsh-9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e.tar.bz2 zsh-9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e.zip | |
Remove duplicate option append_history
The option inc_append_history already has the same effect.
Diffstat (limited to 'plugins/debian')
0 files changed, 0 insertions, 0 deletions