Are you sure you want to delete the file double.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| char.h | 2347 bytes | 0644 | |
| double.h | 1834 bytes | 0644 | |
| fixnum.h | 2273 bytes | 0644 | |
| gid_t.h | 1612 bytes | 0644 | |
| int.h | 4565 bytes | 0644 | |
| intptr_t.h | 1838 bytes | 0644 | |
| long.h | 7431 bytes | 0644 | |
| long_long.h | 2173 bytes | 0644 | |
| mode_t.h | 1616 bytes | 0644 | |
| off_t.h | 2049 bytes | 0644 | |
| pid_t.h | 1612 bytes | 0644 | |
| short.h | 2238 bytes | 0644 | |
| size_t.h | 2329 bytes | 0644 | |
| st_data_t.h | 2336 bytes | 0644 | |
| uid_t.h | 1612 bytes | 0644 |