mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit deece05f321110b8c6aa4711135dd1cc80d1bcdc) IJ-CR-147744 GitOrigin-RevId: 55c997f9156cce0dbd59f820ec3667915679f5fa