mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 658f2d5609852b00b7e1011c3841c7266c202686) IJ-MR-168659 GitOrigin-RevId: 66806362570ef564b1495ba5a9afcd32a50859fb