Rubén Durán Balda ca45d510dd jump: fix behavior when reusing a mark (#7197) ...

Force the mark to point to the new dir, replacing the old one.

Fixes #7195

2018-10-03 16:19:46 +02:00

..

jump.plugin.zsh

jump: fix behavior when reusing a mark (#7197)

2018-10-03 16:19:46 +02:00