mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit d60882a0df49c89479ced8163034c6955844e1ed) IJ-MR-190011 GitOrigin-RevId: ebfca92507a1d5fab412aa3da49073c1042629d6