| Index: Tools/Scripts/webkitpy/thirdparty/pylint/man/pylint-gui.1
|
| diff --git a/Tools/Scripts/webkitpy/thirdparty/pylint/man/pylint-gui.1 b/Tools/Scripts/webkitpy/thirdparty/pylint/man/pylint-gui.1
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..3bcbd21480503f36c4e64b2635bc341402673d13
|
| --- /dev/null
|
| +++ b/Tools/Scripts/webkitpy/thirdparty/pylint/man/pylint-gui.1
|
| @@ -0,0 +1,15 @@
|
| +.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)
|
| +
|
|
|