mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 15:06:56 +07:00
(cherry picked from commit 4a3fc5b72b7b19d1a2845347dd5f2edb4880f1c3) IJ-MR-127321 GitOrigin-RevId: 62c26c8604d54a60393363c7239b0ad00ef7fbb4