mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit c073173728c5d325bee9f15cf7bc81a4d81ffce3) (cherry picked from commit dc7b5507b1f2a82fc5816478758291944c91310e) IJ-MR-155570 GitOrigin-RevId: 7485f9dcbe9c7a7ed4e9809f135dd22cde13f2ce