diff options
| author | Claudiu Popa <pcmanticore@gmail.com> | 2015-01-12 11:14:16 +0200 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2015-01-12 11:14:16 +0200 |
| commit | 65bc3474c8263c6a53ed2438fcc8b1eb6c20b0eb (patch) | |
| tree | d4e121f022d96f990a16525717e6f388c784db17 /checkers/stdlib.py | |
| parent | 77d36161891ef4f814fdb71f04bbbb8aa73c755e (diff) | |
| parent | 27bda210e7a848aed4d018f002b440022ffcad21 (diff) | |
| download | pylint-git-65bc3474c8263c6a53ed2438fcc8b1eb6c20b0eb.tar.gz | |
Merged in ydirson/pylint (pull request #212)
Dispatch the GUI widgets in 3 resizable panes. Closes issue #423.
Diffstat (limited to 'checkers/stdlib.py')
0 files changed, 0 insertions, 0 deletions