mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 05:09:37 +07:00
KTIJ-32943 (cherry picked from commit 923dc489c9016e82934d776d4431e06d1bfef5b3) IJ-CR-155769 GitOrigin-RevId: 0f41a5631d245f9a3124d14fc2adfff5089e2bc8