mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit d70598a84859bbc36587c3c8c61cd7af558743aa) IJ-MR-182362 GitOrigin-RevId: 48a5a9a45159ff011e5424945cc6e59f1cf36c37