mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(review fix for IJ-CR-156177) (cherry picked from commit a0a672e0091ef127455581e725ea32b57b4bedb8) IJ-CR-156603 GitOrigin-RevId: 3c6492278ee4b3b43cb736bbd42da00c517a3bc8