mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
Merge-request: IJ-MR-107037 Merged-by: Daniil Kalinin <Daniil.Kalinin@jetbrains.com> GitOrigin-RevId: 16c3c61525d50dcaa99c56418bd64621d70e4e5f