mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 11:53:49 +07:00
(cherry picked from commit 8cad354fe3aca848312026b4a670bd71cfe40e62) IJ-CR-150469 GitOrigin-RevId: d7637501a7a11d02c3d6050246d42e2563e34275