diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2019-05-21 10:57:37 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2019-05-21 11:04:01 +0200 |
| commit | 4ad4a81657d044de2839e988ff3338fa398e5d9b (patch) | |
| tree | 0c978c6f33413d805a7774afa4a5d80cde5739a6 /.github | |
| parent | f8d5fdce3a351390a2aa540eed7e713997b576f4 (diff) | |
| download | zsh-4ad4a81657d044de2839e988ff3338fa398e5d9b.tar.gz zsh-4ad4a81657d044de2839e988ff3338fa398e5d9b.tar.bz2 zsh-4ad4a81657d044de2839e988ff3338fa398e5d9b.zip | |
git: clean up plugin file and delete current_repository function
Closes #6329
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions