mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit addf19d9b2a522c51dd10b674cd04e7caa3ce421) (cherry picked from commit 2c85753fc212a5dda2b16a8d238fc3744929b870) IJ-MR-151878 GitOrigin-RevId: 4fe605ef368077a0499e4b4c4443b44e9ade2e89