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 | Mon, 18 Sep 2023 18:00:22 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | libedit-devel-3.1-3.20210910cvs.oc9.x86_64.rpm |
