mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit ff52a0f8729663bcef6f401333f5c716834faeeb) (cherry picked from commit 789f65dda71acd76783abc398791d5cf2fa5ab71) IJ-CR-183009 GitOrigin-RevId: 179f930eb28eeddc4ac1109e2aa1b7a42113fb92