mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 20:41:22 +07:00
(cherry picked from commit fdb87ffc06388bd022224000c7b4e8d9e2013e9d) (cherry picked from commit 0b859951fc41c73a63773e00059af72f7975a0c5) IJ-MR-169535 GitOrigin-RevId: 93fb176f7dabaa17a663e4d5c8a9d634eecf2100