Information for file /usr/share/doc/gawk/html/gawk/User_002dmodified.html
| Name | /usr/share/doc/gawk/html/gawk/User_002dmodified.html |
|---|---|
| Digest (sha256) | 701da6ef7523f40bdd417be0c94c63d2dea3520416f85e85d0d4edc6aecc3796 |
| Size | 16.44 KB |
| Modification time | Fri, 29 Jun 2018 05:47:43 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | gawk-doc-4.2.1-2.fc29.noarch.rpm |
