Are you sure you want to delete the file API.gz?
| Name | Size | Permission | Action |
|---|---|---|---|
| examples | --- | 0755 | |
| API.gz | 7101 bytes | 0644 | |
| API.ja.gz | 8401 bytes | 0644 | |
| AUTHORS | 32 bytes | 0644 | |
| FAQ | 202 bytes | 0644 | |
| FAQ.ja | 427 bytes | 0644 | |
| RE.gz | 6175 bytes | 0644 | |
| RE.ja.gz | 7158 bytes | 0644 | |
| README.gz | 2391 bytes | 0644 | |
| changelog.Debian.gz | 1480 bytes | 0644 | |
| copyright | 2491 bytes | 0644 | |
| index.html | 8583 bytes | 0644 | |
| index_ja.html | 8696 bytes | 0644 |