diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-04-30 15:52:35 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-30 15:52:35 +0000 |
commit | fd60b7284a78e3fe371dd90566f0cc316deaf4c4 (patch) | |
tree | 29181e89b29908fa83ad22c49a8c2bd628c7a750 /.github | |
parent | 0b5defa5cfa4662d76cb01c90893c38428e3513c (diff) | |
download | pylint-git-fd60b7284a78e3fe371dd90566f0cc316deaf4c4.tar.gz |
Make sure a ``tool`` table is created in ``toml`` generation (#8638) (#8640)
Co-authored-by: Pierre Sassoulas <pierre.sassoulas@gmail.com>
(cherry picked from commit 434d49f69a65adf75c86dd9629ffbb6d8300df67)
Co-authored-by: Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions