mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-12 13:40:19 +07:00
(cherry picked from commit ddce5b19d4960c1382cded72fdf0a36df0908b84) IJ-CR-149682 GitOrigin-RevId: 2d8b160df84f4f8775762f775f43c0c981ba87a8