mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 68fa7e7f7f5e2b21f28fbcc32ccfe6b416b89a62) IJ-CR-148037 GitOrigin-RevId: 7b5bf721f9871eb06a0492262cfc4b74e93a950c