mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
This part wasn't normalized, so we had to use exact versions in part of the plugin-content.yaml. Now we can use the major version like for other libraries. GitOrigin-RevId: 010930866ca2255d61f58c92ea829eb8704d7516