mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit bc8f094c064c607327ff35e54a89f6e0340e9837) IJ-MR-141459 GitOrigin-RevId: b2794b81fcdc0c82a978e64d531556459f1584d1