mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 20:41:22 +07:00
(cherry picked from commit 7ca5e5d98a7de3291de277d909d4a25affed1e59) IJ-CR-193921 GitOrigin-RevId: 2fb20c05e990d5fc9d7feab513de22f7384fd1c6