mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
(cherry picked from commit 28cbf907a7be647fb7fbb4b7fdf822ce36303283) IJ-MR-17101 GitOrigin-RevId: 70cbab8656c0c9d81e8cf870b699a49c8b12b74e