mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 09:12:22 +07:00
This property isn't used by the platform anymore, the value is taken from the extension declaration in xml. GitOrigin-RevId: 55847c1e03f6dfa81a91a34e322b2d25a39dc54a