mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 13:31:28 +07:00
(cherry picked from commit 09252e66300ec6affe28f60f8f3795cb4201fbed) IJ-MR-156149 GitOrigin-RevId: f889a7f8ab6fd853aa10293823c38058620bc47a