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