mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
KTIJ-31608 (cherry picked from commit dadae808af284dafda0435305ce30938c730a11d) IJ-CR-147988 GitOrigin-RevId: a0b7d7ecf59884e2af629d2bd03f614d3fba3a8d