mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
IJ-CR-147046 (cherry picked from commit 38d4ed91bb138a96c999f140c9671b96dac081a0) GitOrigin-RevId: 26a58200d6f669137019495176576661bf1c01d2