Information for file /usr/share/man/man1/pylint-gui-2.7.1.gz
| Name | /usr/share/man/man1/pylint-gui-2.7.1.gz |
|---|---|
| Digest (sha256) | 419e46eb04c3266abd7be987b1eb6e0e3b28a4f4539414427b40c70c28b5ced4 |
| Size | 180 |
| Modification time | Sun, 22 Jan 2017 15:06:32 CET |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | python2-pylint-1.6.5-6.el7.noarch.rpm |
