mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit ad2d73618df1ca1e6e26c5d5945b1d56249667d9) IJ-CR-158672 GitOrigin-RevId: 9aa4af56283843889ae094d1bb085213d0b00409