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