mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
Additional data is always exists, and it is available via `sdk.pySdkAdditionalData`. GitOrigin-RevId: a09725773ae33c930cdc6e0dba892110e44e0a4a