mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 06:05:01 +07:00
^KTIJ-37849 fixed (cherry picked from commit 6c1bfe4e4e5813ecf63c49aad15db5703eaf583d) GitOrigin-RevId: 3c1e6c7cc80cb4d5f9a8e9810a984ca37cf3f5b0