mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
(cherry picked from commit c2a38ec1bbafd7e8069a4f2d868ae17ba9d4bc09) IJ-CR-166504 GitOrigin-RevId: f47830735321220a117740d3abafc22c2402579f