mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit b866dd01744a986ebc03b797b7a728a2504a58bf) IJ-CR-25372 GitOrigin-RevId: 9fc8c6e4f53183e2cba15efa505fe898f1d07a91