mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 5e6e5ba64a12d4c1cc826f0b783877494747433f) IJ-CR-170881 GitOrigin-RevId: 1b2468968038d086e9ab251291a28264fddec724