mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 9cbfa0b87ce30685f026a7401ed385c7a2b6f635) IJ-CR-157717 GitOrigin-RevId: f6b05246959f6e9fcae13de4d1c2e17f6977c938