Are you sure you want to delete the file rlstdc.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| chardefs.h | 4697 bytes | 0644 | |
| history.h | 10779 bytes | 0644 | |
| keymaps.h | 3260 bytes | 0644 | |
| readline.h | 39739 bytes | 0644 | |
| rlconf.h | 2829 bytes | 0644 | |
| rlstdc.h | 1835 bytes | 0644 | |
| rltypedefs.h | 3193 bytes | 0644 | |
| tilde.h | 3046 bytes | 0644 |