mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
We used to launch the generator itself for that but it seems completely unnecessary since these versions can only diverge in case of remote interpreters and we forcefully update helpers on a remote on every IDE release, so they should be always in sync. GitOrigin-RevId: 6d22dd0c0f3c3938a1a739246c98eda2f05c1ce0