diff options
| author | Omega Weapon <OmegaPhil+hg@gmail.com> | 2012-11-12 13:52:02 +0100 |
|---|---|---|
| committer | Omega Weapon <OmegaPhil+hg@gmail.com> | 2012-11-12 13:52:02 +0100 |
| commit | 9834e66db73fdf0bca2e187002fef4dde8486acd (patch) | |
| tree | 1efb8c2e96f64fa80c640df726d90f0ab652e2fb /lint.py | |
| parent | de5e24e5808386da779523a558bdb4c8e2f1a5b8 (diff) | |
| download | pylint-git-9834e66db73fdf0bca2e187002fef4dde8486acd.tar.gz | |
pylint-gui: Bind F5 to the run button. Closes #110839
--HG--
branch : stable
Diffstat (limited to 'lint.py')
0 files changed, 0 insertions, 0 deletions