mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit 3714e5265a89b7a53644aeb2f8d4999de18ea1e8) IJ-CR-10484 GitOrigin-RevId: 899b9205670beb3a4cf29b6cb37aa12728abca4f