Are you sure you want to delete the file pruner.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| audit.js | 1318 bytes | 0644 | |
| build-ideal-tree.js | 56078 bytes | 0644 | |
| deduper.js | 594 bytes | 0644 | |
| index.js | 4951 bytes | 0644 | |
| load-actual.js | 16756 bytes | 0644 | |
| load-virtual.js | 10482 bytes | 0644 | |
| load-workspaces.js | 800 bytes | 0644 | |
| pruner.js | 893 bytes | 0644 | |
| rebuild.js | 12587 bytes | 0644 | |
| reify.js | 55465 bytes | 0644 |