mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 56bc623be5e959eb15fd2c02b2cc504a3d3aeda5) IJ-MR-172890 GitOrigin-RevId: 32a53448a1a497fe4ee9408207c2d55b6bab0031