mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 4e576f9e6c0a9d8eda125b7d803b3dcf552126dd) (cherry picked from commit 4e2607f78aff6acbf5fc1d981569b21a73c10b4c) IJ-MR-155570 GitOrigin-RevId: b96cfed0383369e91643e3a6ee192032df30f58b