Fri, 29 Mar 2024 11:48:33 CET | login

Information for file /usr/share/man/man1/pylint-gui.1.gz

Name/usr/share/man/man1/pylint-gui.1.gz
Digest (sha256)
Size19
Modification timeThu, 04 Apr 2019 11:41:55 CEST
Userroot
Grouproot
Modelrwxrwxrwx
Flags documentation
RPMpylint-gui-1.6.5-6.el7.noarch.rpm