mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
(cherry picked from commit 0d100a2b07af6defab9c1fa841f309a652a6e4dd) IJ-MR-182152 GitOrigin-RevId: 9dddc0484a9fa1527c362fbd6ed90c3fa38d271d