mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit b6101d5a2567c30f7cd3db359dd128bc757054b1) IJ-CR-150213 GitOrigin-RevId: ebaf945f6a48cfc8a8e22436fa8993830ec571c5