Information for file /usr/share/doc/pgadmin3/htmlhelp/_images/options-guru_hints.png
Name | /usr/share/doc/pgadmin3/htmlhelp/_images/options-guru_hints.png |
---|---|
Digest (sha256) | 65ebbdc9b6bca749dec766bef00114b9c4fccad2d0b3cc1a562d8852e1718961 |
Size | 27.65 KB |
Modification time | Tue, 24 Mar 2020 04:15:11 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags |
documentation |
RPM | pgadmin3-1.23.0-0.1.git705eb1b.fc33.riscv64.rpm |