Mon, 25 Nov 2024 18:07:02 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, 06 Apr 2017 06:13:08 CEST
Userroot
Grouproot
Modelrwxrwxrwx
Flags documentation
RPMpylint-gui-1.6.5-4.el7.noarch.rpm