mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-17 12:01:25 +07:00
(cherry picked from commit b15a3bab218f72c1e9c717facfbff3e91eeea13f) IJ-MR-180106 GitOrigin-RevId: 1945dec57725c60c6580980e2f9e83289b0a2caf