diff options
| author | Rubén Durán Balda <ruduran@users.noreply.github.com> | 2018-10-03 16:19:46 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2018-10-03 16:19:46 +0200 |
| commit | ca45d510dd5fdd2cc1e92e969c95dbf7e31efb24 (patch) | |
| tree | 0c1f04cb6c53beda92db917a39afa79bba247d52 /custom/plugins | |
| parent | 0fdb911da0ac6f167c558af129a64211c1a560ee (diff) | |
| download | zsh-ca45d510dd5fdd2cc1e92e969c95dbf7e31efb24.tar.gz zsh-ca45d510dd5fdd2cc1e92e969c95dbf7e31efb24.tar.bz2 zsh-ca45d510dd5fdd2cc1e92e969c95dbf7e31efb24.zip | |
jump: fix behavior when reusing a mark (#7197)
Force the mark to point to the new dir, replacing the old one.
Fixes #7195
Diffstat (limited to 'custom/plugins')
0 files changed, 0 insertions, 0 deletions