mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 0fba00400382b32bbdbb1d6112126b4097895f2f) IJ-MR-165350 GitOrigin-RevId: af95c00431a09faf9a08bb3c8a7f88b8d3376dee