mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 06626edc93dcb233ed21e546ba16cd266462caaa) IJ-CR-149651 GitOrigin-RevId: c0e59976528fb09fc3379a5da9c01d7b8cc84113