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