Are you sure you want to delete the file extents.gif?
| Name | Size | Permission | Action |
|---|---|---|---|
| devices.gif | 1547 bytes | 0644 | |
| extents.gif | 308 bytes | 0644 | |
| icon.gif | 2305 bytes | 0644 | |
| manual.gif | 478 bytes | 0644 | |
| opts.gif | 1522 bytes | 0644 | |
| targets.gif | 245 bytes | 0644 | |
| users.gif | 390 bytes | 0644 |
