mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:47:40 +07:00
(cherry picked from commit dd8d7370b27fc4efc61d4ca52353d50d55e2d19a) IJ-CR-157144 GitOrigin-RevId: ed5b5a0022cba33e081502c642851d19cd09ada2