| File manager - /usr/lib/python3/dist-packages/jedi/third_party/ | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-05-07 07:24:28 | ||||||
| .. | 2023-05-07 07:24:45 | ||||||
| django-stubs | 2023-05-07 07:24:29 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |
| typeshed | 2023-05-07 07:24:29 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |