Are you sure you want to delete the file julia.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| julia.js | 8018 bytes | 0644 | |
| julia.js.map | 15316 bytes | 0644 |
Are you sure you want to delete the file julia.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| julia.js | 8018 bytes | 0644 | |
| julia.js.map | 15316 bytes | 0644 |