Information for file /usr/share/man/man1/pylint-gui.1.gz
Name | /usr/share/man/man1/pylint-gui.1.gz |
---|---|
Digest (sha256) | |
Size | 19 |
Modification time | Thu, 06 Apr 2017 06:13:08 CEST |
User | root |
Group | root |
Mode | lrwxrwxrwx |
Flags |
documentation |
RPM | pylint-gui-1.6.5-4.el7.noarch.rpm |