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