mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
Such objects are also types, so there is no need to specify a type every time the external index is accessed. GitOrigin-RevId: eba99e669c4d7fe9dcb8bf1a2908d518e1ed4aea