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