mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
(cherry picked from commit a6886466d56cf9f80046b28545a1cbcbe9c5611d) IJ-CR-152517 GitOrigin-RevId: bcba7564efb109e09ac6be3f24cdbd9abe837778