Are you sure you want to delete the file timers.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| logging.js | 2220 bytes | 0644 | |
| options.js | 3060 bytes | 0644 | |
| print-tree.js | 152 bytes | 0644 | |
| timers.js | 841 bytes | 0644 |
Are you sure you want to delete the file timers.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| logging.js | 2220 bytes | 0644 | |
| options.js | 3060 bytes | 0644 | |
| print-tree.js | 152 bytes | 0644 | |
| timers.js | 841 bytes | 0644 |