diff options
| author | Benoit GALATI <benoit.galati@gmail.com> | 2020-05-21 18:29:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-21 18:29:00 +0200 |
| commit | fcd0747bc123d2c0775f8d757f0135067905ac0d (patch) | |
| tree | 41bac14e9fcf107f790df5ababaa36ee835d7951 /plugins/man | |
| parent | d8f674cc8e4a3139db6bd10ea28a27e36aab0088 (diff) | |
| download | zsh-fcd0747bc123d2c0775f8d757f0135067905ac0d.tar.gz zsh-fcd0747bc123d2c0775f8d757f0135067905ac0d.tar.bz2 zsh-fcd0747bc123d2c0775f8d757f0135067905ac0d.zip | |
core: remove inc_append_history option (#8048)
Diffstat (limited to 'plugins/man')
0 files changed, 0 insertions, 0 deletions