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, 19 Jan 2023 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | libedit-devel-3.1-45.20221030cvs.fc38.riscv64.rpm |
