File manager - Edit - /usr/lib/python3/dist-packages/jedi/third_party/django-stubs/django-stubs/core/files/move.pyi
Back
def file_move_safe( old_file_name: str, new_file_name: str, chunk_size: int = ..., allow_overwrite: bool = ... ) -> None: ...
| ver. 1.4 |
Github
|
.
| PHP 7.4.33 | Generation time: 0.26 |
proxy
|
phpinfo
|
Settings