mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 7699f7ed417a4c73bf9b18093c31c8950f9a1192) IJ-MR-183564 GitOrigin-RevId: 7c094d26175cd14d13ece0161949b8450ba3e601