Are you sure you want to delete the file file.html.dist?
| Name | Size | Permission | Action |
|---|---|---|---|
| css | --- | 0755 | |
| img | --- | 0755 | |
| js | --- | 0755 | |
| coverage_bar.html.dist | 146 bytes | 0644 | |
| dashboard.html.dist | 3987 bytes | 0644 | |
| directory.html.dist | 1968 bytes | 0644 | |
| directory_item.html.dist | 821 bytes | 0644 | |
| file.html.dist | 2067 bytes | 0644 | |
| file_item.html.dist | 871 bytes | 0644 | |
| method_item.html.dist | 632 bytes | 0644 |