diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2019-05-27 22:21:39 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2019-06-03 17:18:24 +0200 |
| commit | a40d93295f91d1553522e58433e0ba2c4186d2b8 (patch) | |
| tree | 8000d31149b3dae06931afaa584b57d5f15a5f5e /plugins/pylint | |
| parent | 794ff4a62daa57b985ea35a3d6dc879d771e53f0 (diff) | |
| download | zsh-a40d93295f91d1553522e58433e0ba2c4186d2b8.tar.gz zsh-a40d93295f91d1553522e58433e0ba2c4186d2b8.tar.bz2 zsh-a40d93295f91d1553522e58433e0ba2c4186d2b8.zip | |
installer: don't run zsh at the end
Co-authored-by: Joel Kuzmarski <leoj3n@gmail.com>
Diffstat (limited to 'plugins/pylint')
0 files changed, 0 insertions, 0 deletions