mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(cherry picked from commit cb828554959ebfaf810317401740cc5f0b19d3e9) IJ-MR-146692 GitOrigin-RevId: 82a62c7657f2872a7d36b74e214529868349b6f9