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