| File manager - /usr/lib/python3/dist-packages/jedi/third_party/typeshed/third_party/2/scribe/ | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-05-07 07:24:31 | ||||||
| .. | 2023-05-07 07:24:31 | ||||||
| __init__.pyi | 0 | 2020-12-24 23:00:00 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| scribe.pyi | 1199 | 2020-12-24 23:00:00 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |
| ttypes.pyi | 383 | 2020-12-24 23:00:00 | -rw-r--r-- | Delete | Rename | Download | Compress .tar.gz |