components/python/pylint/manpages/pylint-gui.1
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