mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-23 06:51:24 +07:00
IJ-CR-147046 (cherry picked from commit 38d4ed91bb138a96c999f140c9671b96dac081a0) GitOrigin-RevId: 26a58200d6f669137019495176576661bf1c01d2