diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2017-12-11 09:42:12 +0100 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2017-12-11 09:42:12 +0100 |
commit | ff33b83c2adc0577917117c51ba5e16288c361c5 (patch) | |
tree | a5acba1d0f9ebfecab2e48ff26eb04bb8bd877c7 /man | |
parent | b35166f35b0be1aa85ad0789ab265e655dd6c1e7 (diff) | |
download | pylint-git-ff33b83c2adc0577917117c51ba5e16288c361c5.tar.gz |
Remove pylint.gui man page. Closes #1760
Diffstat (limited to 'man')
-rw-r--r-- | man/pylint-gui.1 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/man/pylint-gui.1 b/man/pylint-gui.1 deleted file mode 100644 index 3bcbd2148..000000000 --- a/man/pylint-gui.1 +++ /dev/null @@ -1,15 +0,0 @@ -.TH pylint-gui 1 "2010-12-15" pylint-gui -.SH NAME -.B pylint-gui -\- Tkinker gui for pylint - -.SH SYNOPSIS -.B pylint-gui - -.SH DESCRIPTION -.B pylint-gui -launches a nice graphical interface for running Pylint - -.SH "SEE ALSO" -.B pylint(1), pyreverse(1) - |