diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-05-25 08:47:08 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-25 08:47:08 -0400 |
commit | ab74c95d56b856bfd2e9e8fd4bd49280f671960f (patch) | |
tree | a208bfa3b834bba4f16d09657d59fdb43b8eb1e0 /completions/zsh | |
parent | daf328d0540b3e4919ae726922b68b8edc0fc2a3 (diff) | |
parent | f32a00240143d8696705ba626acd58c581523bbf (diff) |
Merge pull request #2036 from RyanDwyer/workspace-switch-on-map
Switch workspace if required when mapping a view
Diffstat (limited to 'completions/zsh')
0 files changed, 0 insertions, 0 deletions