mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 06:51:17 +07:00
#IJPL-214134 Fixed (cherry picked from commit d6d9280b28d94ab8cfd94e45f95e38c0395296cc) IJ-CR-179927 GitOrigin-RevId: 99d116fb617dc24d8922bae69c1443aeff773b70