mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit d37a06ebb60306d38f9e5a04d98df6669f07946a) (cherry picked from commit f9ef6adbd996974ebedfe1f46e5d28e959ee8c01) IJ-CR-176469 GitOrigin-RevId: c98c80f169ec9f508971dd84a45a63050b0c101e