Information for file /usr/share/doc/pgadmin3/de_DE/hints/instrumentation.html
| Name | /usr/share/doc/pgadmin3/de_DE/hints/instrumentation.html |
|---|---|
| Digest (sha256) | bc436fa1c5cd871cee64ccdc5f4f54d7eeb6a76da4d5e9925f4db6bbb9766196 |
| Size | 1.32 KB |
| Modification time | Wed, 25 Feb 2015 10:44:26 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | pgadmin3-1.22.2-18.fc33.riscv64.rpm |
