Information for file /usr/share/doc/HTML/en/kile/usermenu_12.png
| Name | /usr/share/doc/HTML/en/kile/usermenu_12.png |
|---|---|
| Digest (sha256) | bfffa69854250a7ce199512a61cac9df2a06936d7f534b303f2da00501beaddf |
| Size | 7.34 KB |
| Modification time | Fri, 11 May 2018 17:41:44 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | kile-2.9.92-5.fc33.riscv64.rpm |
