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 | Wed, 16 Nov 2022 12:07:52 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | libedit-devel-3.1-43.20221009cvs.fc37.riscv64.rpm |
