mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 4ffc7411ebfab7d7544a616d04ad44025a5d7d02) (cherry picked from commit 0960a4c22129641fb5ba2195b05c6a2e5c45926a) IJ-CR-147319 GitOrigin-RevId: 37c0d6641191b48230ad03d000e2ee55e76c8443