diff options
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) - |