Are you sure you want to delete the file search.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| darkfish.js | 2355 bytes | 0644 | |
| navigation.js | 2724 bytes | 0644 | |
| navigation.js.gz | 833 bytes | 0644 | |
| search.js | 3094 bytes | 0644 | |
| search_index.js | 137923 bytes | 0644 | |
| search_index.js.gz | 25438 bytes | 0644 | |
| searcher.js | 6596 bytes | 0644 | |
| searcher.js.gz | 1688 bytes | 0644 |