mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit 0fba00400382b32bbdbb1d6112126b4097895f2f) IJ-MR-165350 GitOrigin-RevId: dd3ce79429be222443d8d2d17b490670f84800f9