Are you sure you want to delete the file platform.h?
| Name | Size | Permission | Action |
|---|---|---|---|
| internals.h | 4620 bytes | 0644 | |
| opt-GCC.h | 4291 bytes | 0644 | |
| platform.h | 2086 bytes | 0644 | |
| primitiveTypes.h | 3401 bytes | 0644 | |
| primitives.h | 17502 bytes | 0644 | |
| softfloat_types.h | 4049 bytes | 0644 | |
| specialize.h | 8201 bytes | 0644 |