changeset 7820 | a2b9a7de9e1a |
parent 4814 | c673d998018a |
--- a/components/python/pylint/manpages/pylint-gui.1 Thu Mar 30 20:50:08 2017 -0700 +++ b/components/python/pylint/manpages/pylint-gui.1 Fri Mar 31 07:26:17 2017 -0700 @@ -22,7 +22,7 @@ .\" .\" Copyright (c) 2009, 2015, Oracle and/or its affiliates. All rights reserved. .\" -.TH pylint-gui 1 "10 Jun 2015" "SunOS 5.12" +.TH pylint-gui 1 "10 Jun 2015" "SunOS 5.11" .SH NAME pylint-gui \- simple gui interface to pylint using tkinter