diff options
| author | Nicolas Chauvat <nicolas.chauvat@logilab.fr> | 2013-05-20 15:52:24 +0200 |
|---|---|---|
| committer | Nicolas Chauvat <nicolas.chauvat@logilab.fr> | 2013-05-20 15:52:24 +0200 |
| commit | fb600a34111425760cd5745a18fcd07dc9c18218 (patch) | |
| tree | 9199f6f1713d640d035e9e6760e8c67f52151720 /gui.py | |
| parent | 762931ab2262fc73a5272d656e39409c5db86e8e (diff) | |
| download | pylint-fb600a34111425760cd5745a18fcd07dc9c18218.tar.gz | |
since PyLinter._dynamic_plugins is used as a set, make it a set
Diffstat (limited to 'gui.py')
0 files changed, 0 insertions, 0 deletions