diff options
| author | toonn <toonn@toonn.io> | 2022-02-05 16:12:02 +0100 |
|---|---|---|
| committer | toonn <toonn@toonn.io> | 2022-02-05 16:12:02 +0100 |
| commit | abcdb9b6d76cf56be55c037d90b1c299468d006a (patch) | |
| tree | b4badf941fd3e0be30ce0cedc24fe69670e89af2 /doc/tools | |
| parent | 8110d6990ae12e4e55d2ceaefabdb63b39238b6c (diff) | |
| download | ranger-abcdb9b6d76cf56be55c037d90b1c299468d006a.tar.gz | |
manpage_completion_test: Drop disappeared Pylint options
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions