mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 07a5b8a6005e9989d4c6acb22e5ac48ef6150359) IJ-CR-150152 GitOrigin-RevId: c4773e395f021700f9bc7faf17209c1fbeb3d66e