Are you sure you want to delete the file TODO.gz?
| Name | Size | Permission | Action |
|---|---|---|---|
| PORTING.gz | 1480 bytes | 0644 | |
| TODO.gz | 661 bytes | 0644 |
Are you sure you want to delete the file TODO.gz?
| Name | Size | Permission | Action |
|---|---|---|---|
| PORTING.gz | 1480 bytes | 0644 | |
| TODO.gz | 661 bytes | 0644 |