Are you sure you want to delete the file tilde.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| chardefs.h | 4367 bytes | 0644 | |
| history.h | 10800 bytes | 0644 | |
| keymaps.h | 3260 bytes | 0644 | |
| readline.h | 39763 bytes | 0644 | |
| rlconf.h | 2829 bytes | 0644 | |
| rlstdc.h | 1837 bytes | 0644 | |
| rltypedefs.h | 3193 bytes | 0644 | |
| tilde.h | 3046 bytes | 0644 |