mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 72ad426ce1a613ef66d62557382e8ee7c17ed6de) IJ-CR-176451 (cherry picked from commit 203ec86492ffeeee9199415e2d186453285d8bca) GitOrigin-RevId: 2b990ffa586624a3463948546b8013ba6ab7c446