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 | 8ce01f5f8a76b3f44db48ba54a9ec4c690b184b8 (patch) | |
| tree | d25ac2ea83d3aaef3050d5914c8de12390734269 /checkers/stdlib.py | |
| parent | 7b1af63f6e3a2cdd84d4b9d2aaa8fd336d6dc03f (diff) | |
| parent | 995e61bf79b55b69fc9303b4b93d59ec3cd31a9c (diff) | |
| download | pylint-8ce01f5f8a76b3f44db48ba54a9ec4c690b184b8.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