diff options
| author | pukkandan <pukkandan.ytdlp@gmail.com> | 2022-06-15 17:59:35 +0530 |
|---|---|---|
| committer | pukkandan <pukkandan.ytdlp@gmail.com> | 2022-06-16 06:23:49 +0530 |
| commit | 99d10bf60796a90d2ca421ec63f1208b15ae5f48 (patch) | |
| tree | 49a41e3895c0904866bda71e43acbb7a510ff3aa /devscripts/zsh-completion.in | |
| parent | 145c5a83a80536b781fd043016bd27c91c760667 (diff) | |
[cleanup, extractor] Rename `extractors.py` to `_extractors.py`
This should be considered part of the next commit,
but is separated so that `git` can detect the renaming better
Diffstat (limited to 'devscripts/zsh-completion.in')
0 files changed, 0 insertions, 0 deletions