Are you sure you want to delete the file random.pyi?
| Name | Size | Permission | Action |
|---|---|---|---|
| __pycache__ | --- | 0755 | |
| __init__.py | 1809 bytes | 0644 | |
| __init__.pyi | 367 bytes | 0644 | |
| random.py | 5234 bytes | 0644 | |
| random.pyi | 832 bytes | 0644 |
Are you sure you want to delete the file random.pyi?
| Name | Size | Permission | Action |
|---|---|---|---|
| __pycache__ | --- | 0755 | |
| __init__.py | 1809 bytes | 0644 | |
| __init__.pyi | 367 bytes | 0644 | |
| random.py | 5234 bytes | 0644 | |
| random.pyi | 832 bytes | 0644 |