Are you sure you want to delete the file restructuredtext.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| restructuredtext.js | 4717 bytes | 0644 | |
| restructuredtext.js.map | 9079 bytes | 0644 |
Are you sure you want to delete the file restructuredtext.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| restructuredtext.js | 4717 bytes | 0644 | |
| restructuredtext.js.map | 9079 bytes | 0644 |