mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 63fe10754c073b9b3ab74df5b619165af4ba8bca) (cherry picked from commit 4c7c25a45e2fa789ef5bc13ec0ab16aba3373fb7) IJ-CR-147319 GitOrigin-RevId: 6ed8e098b92c3a724c7d5b62e287d661bb082847