Information for file /usr/share/man/man7/editline.7.gz
| Name | /usr/share/man/man7/editline.7.gz |
|---|---|
| Digest (sha256) | d96ccd0a639407812a6ffaf0147ace05d99b65452e9dcbacb7f47611b5a7a908 |
| Size | 7.48 KB |
| Modification time | Thu, 16 Jan 2020 07:29:21 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | libedit-devel-3.1-31.20191231cvs.fc32.riscv64.rpm |
