mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 908a293fa325205be5fc902d788a26b4ed4013b2) IJ-CR-124368 GitOrigin-RevId: d95a4345437e9d9f8d98def50fec2338b0a7aabc