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, 15 Feb 2018 11:31:45 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | libedit-devel-3.1-20.20170329cvs.fc27.riscv64.rpm |
